Skip to content

Fixup lua language server CI #29889

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Apr 29, 2025
Merged

Conversation

IamPete1
Copy link
Member

Our lua language server CI has been incorrectly passing thanks to some recent changes to the language server. This updates so it correctly fails (and fixes the issues that crept in)

I can't get the problem matcher to work again, so no nice annotations, fileLocation seems to not work. It works fine for the luacheck problem matcher, so I have no idea.

A alternate fix would be to add --check_format json to the call to the language server. But the new native error printing is nicer than what I had done in python by parsing the json. Just we loose the problem match.

@peterbarker
Copy link
Contributor

@stephendade FYI

@@ -760,7 +760,7 @@ function HLSatcom()
--- check if GCS telemetry has been lost for RCK_TIMEOUT sec (if param enabled)
if RCK_FORCEHL:get() == 2 then
-- link lost time = boot time - GCS last seen time
link_lost_for = millis():toint() - gcs:last_seen()
link_lost_for = (millis()- gcs:last_seen()):toint()
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The subtraction was casting back to a uint32 so the result was not a int.

@stephendade
Copy link
Contributor

@stephendade FYI

I'll run some checks in the next day or two and confirm the changes are OK (they most likely are)

@peterbarker
Copy link
Contributor

Bumped off DevCallTopic so @stephendade can run his tests. Please ping once you're done, @stephendade :-)

@IamPete1
Copy link
Member Author

Bumped off DevCallTopic so @stephendade can run his tests. Please ping once you're done, @stephendade :-)

I could alternately add a error ignore for just that file, then Stephen can take his time.

@IamPete1 IamPete1 force-pushed the lualanguageServerCI branch from e157737 to 316d764 Compare April 28, 2025 23:06
@IamPete1
Copy link
Member Author

I could alternately add a error ignore for just that file, then Stephen can take his time.

I did that.

@peterbarker
Copy link
Contributor

@stephendade could you test the original PR to make sure it works, or create a patch which grabs the changes from the original PR and removes the new ignore lines, please?

@peterbarker peterbarker merged commit 4e1457e into ArduPilot:master Apr 29, 2025
103 checks passed
@stephendade
Copy link
Contributor

@stephendade could you test the original PR to make sure it works, or create a patch which grabs the changes from the original PR and removes the new ignore lines, please?

Sure. I've now had a chance to test @IamPete1's original changes, and they worked fine, so I'll create a new PR to re-include them

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants