-
-
Notifications
You must be signed in to change notification settings - Fork 491
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
libatomic_ops: Update to 7.8.0 #35399
Conversation
@ivmai welcome here, and thanks! |
Hello @mkoeppe, |
These are bugs in our CI, unrelated to your change |
If I understood correctly, I did it: https://github.com/ivmai/sagemath-sage/actions/runs/4572075412 - success |
Colleagues, could you explain me why merging is blocked? |
15f3e24
to
518353b
Compare
Documentation preview for this PR (built with commit 518353b) is ready! 🎉 |
"merging is blocked" is standard in this repo, as it's the job of the release manager to actually deal with merging positively reviewer PRs into the mainline. |
platform tests: |
📚 Description
This is an update to the latest stable release of libatomic_ops.
I'm the upstream maintainer of the package.
📝 Checklist
⌛ Dependencies