Skip to content

Conversation

sjoerdsimons
Copy link
Contributor

@sjoerdsimons sjoerdsimons commented Jan 13, 2024

various CI updates; main updates:

  • Switch away from outdated github actions
  • Avoid CI failing for PRs from non-members of the repository (skipping docker push)

Our current clippy CI runs only ran on the default target, which meant
test code didn't get clippy tested. Fix the warnings in the test code to
allow enabling clippy in CI on them
Don't try to push the docker container on a PR as that will
fail for PRs that aren't from project members
To make it it easier to enable gitlab merge queues add a final allgreen
job in the CI workflow to key success on
actions-rs is no longer maintained, switch over to dtolnay/rust-toolchain
instead which is. While there also ensure the various checks also check
all targets/features as applicable

For the rust toolchain aim for a specific version so CI doesn't start
failing over time. For the version also aim for the version of rustc in
debian unstable to ensure things can build with that version of the
compiler
To allow catching newer clippy lints also run clippy from the latest
stable rust toolchain. This check is allowed to fail so CI doesn't start
failing due to newer lints being introduced.
Check the build still works when actually using the (direct) minimal
dependencies. For now this needs a nightly rust
actions/checkout@v2 is using an outdated version of node; bump to v4
which is the latest version
For merge queue's to work the CI has to run on the `merge_group` event.
Also ignore pushes to the merge queue branches to avoid running CI twice
@sjoerdsimons sjoerdsimons removed this pull request from the merge queue due to a manual request Jan 16, 2024
@sjoerdsimons sjoerdsimons added this pull request to the merge queue Jan 16, 2024
Merged via the queue into main with commit dd8a330 Jan 16, 2024
@emanueleaina emanueleaina deleted the ci-updates branch February 8, 2024 14:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

1 participant