Skip to content

Update CI #600

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 1 commit into from
Jun 8, 2025
Merged

Update CI #600

merged 1 commit into from
Jun 8, 2025

Conversation

michaelpj
Copy link
Collaborator

Add 9.12, drop 9.2, enable sempahore if available.

@michaelpj
Copy link
Collaborator Author

Hmm, looks like lots of stuff is blocked on moving to 9.12.

@michaelpj michaelpj force-pushed the push-uzzyuwrznryt branch 2 times, most recently from bab1227 to 123d2f9 Compare June 8, 2025 14:46
Add 9.12, drop 9.2, enable sempahore if available.
@michaelpj michaelpj force-pushed the push-uzzyuwrznryt branch from 123d2f9 to bb0ada9 Compare June 8, 2025 14:52
@michaelpj michaelpj merged commit 696f256 into master Jun 8, 2025
16 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant