Skip to content

Conversation

@create-pr-actions
Copy link

Automated update to Github CI workflow cont_integration.yml by create-pull-request GitHub action

@oleonardolima
Copy link
Contributor

It'll be ready to go after #1802 gets merged. It needs someone with push rights to add a companion commit with the clippy fix, such as VM's commit 5b4bf19.

@notmandatory notmandatory self-assigned this Jan 21, 2025
@notmandatory notmandatory added this to the 1.1.0 milestone Jan 21, 2025
@notmandatory notmandatory force-pushed the create-pull-request/update-rust-version branch from 468b7e0 to 49a616d Compare January 21, 2025 18:30
Copy link
Collaborator

@ValuedMammal ValuedMammal left a comment

Choose a reason for hiding this comment

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

ACK 1ccc29e

Copy link
Contributor

@oleonardolima oleonardolima left a comment

Choose a reason for hiding this comment

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

ACK 1ccc29e

@notmandatory notmandatory merged commit 639f3d0 into master Jan 21, 2025
43 checks passed
@ValuedMammal ValuedMammal mentioned this pull request Feb 4, 2025
41 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

4 participants