Skip to content
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

Rework ide-desktop CI #7596

Merged
merged 2 commits into from
Aug 22, 2023
Merged

Rework ide-desktop CI #7596

merged 2 commits into from
Aug 22, 2023

Conversation

somebody1234
Copy link
Contributor

Pull Request Description

Refactors ide-desktop CI to move all the logic to JS. This should allow management of JS linting (almost) fully within the JS source tree.

Important Notes

None

Checklist

Please ensure that the following checklist has been satisfied before submitting the PR:

  • The documentation has been updated, if necessary.
  • Screenshots/screencasts have been attached, if there are any visual changes. For interactive or animated visual changes, a screencast is preferred.
  • All code follows the
    Scala,
    Java,
    and
    Rust
    style guides. In case you are using a language not listed above, follow the Rust style guide.
  • All code has been tested:
    • Unit tests have been written where possible.
    • If GUI codebase was changed, the GUI was tested when built using ./run ide build.

@somebody1234 somebody1234 added the CI: No changelog needed Do not require a changelog entry for this PR. label Aug 17, 2023
@indiv0
Copy link
Contributor

indiv0 commented Aug 17, 2023

Could you expand on what "This should allow management of JS linting (almost) fully within the JS source tree." means? Or rather, do you have an example of the benefit this provides?

@somebody1234
Copy link
Contributor Author

somebody1234 commented Aug 17, 2023

well... the build script has been changed to run npm run lint - which should mean, in the future all that needs to be done would be to edit the "lint" npm script to add tasks to/remove tasks from/edit/fix JS linting. not sure this is that much of a benefit though

@somebody1234
Copy link
Contributor Author

somebody1234 commented Aug 17, 2023

for me ./run lint seems to still be working correctly, and it's running npm run lint in the right directory (as expected), which in turn does seem to run npm install and npm run typecheck and npx eslint . as expected

@indiv0
Copy link
Contributor

indiv0 commented Aug 22, 2023

QA passed! Looks like there's an engine CI failure though :)

Scenarios

  • ./run git-clean && ./run lint catches error
image
  • ./run lint succeeds when no error
image

@somebody1234
Copy link
Contributor Author

i'll try rerunning - @indiv0 note that it does need an approving review before it can be merged though, because of the package.json change

@indiv0
Copy link
Contributor

indiv0 commented Aug 22, 2023

Thanks for the note. Approved :)

@indiv0 indiv0 merged commit b3e9ea8 into develop Aug 22, 2023
26 checks passed
@indiv0 indiv0 deleted the wip/sb/rework-ide-desktop-ci branch August 22, 2023 15:23
@indiv0 indiv0 restored the wip/sb/rework-ide-desktop-ci branch August 22, 2023 15:23
@indiv0 indiv0 deleted the wip/sb/rework-ide-desktop-ci branch August 22, 2023 15:23
@indiv0 indiv0 restored the wip/sb/rework-ide-desktop-ci branch August 22, 2023 15:23
@indiv0 indiv0 deleted the wip/sb/rework-ide-desktop-ci branch August 22, 2023 15:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI: No changelog needed Do not require a changelog entry for this PR.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants