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

Update various aspects of CI #34

Merged
merged 6 commits into from
Jan 16, 2024
Merged

Update various aspects of CI #34

merged 6 commits into from
Jan 16, 2024

Conversation

sjoerdsimons
Copy link
Contributor

very similar updates to collabora/obs-gitlab-runner#18 :)

Don't try to push the docker container on a PR as that will
fail for PRs that aren't from project members
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
.github/workflows/ci.yml Outdated Show resolved Hide resolved
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
Update the required crate versions as needed to ensure the build
succeeds with direct minimal versions as well as some smaller updates
for new crate versions
Copy link
Collaborator

@em- em- left a comment

Choose a reason for hiding this comment

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

Yay!

@sjoerdsimons sjoerdsimons added this pull request to the merge queue Jan 16, 2024
Merged via the queue into main with commit ac3d06e Jan 16, 2024
16 checks passed
@sjoerdsimons sjoerdsimons deleted the sjoerd/ci-updates branch January 16, 2024 14:26
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.

2 participants