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.

Sign up for GitHub

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

Jump to bottom

Fix main (merge race -- dead import) #7715

Merged

teh-cmc merged 1 commit into main from cmc/fix_main_20241014

Oct 14, 2024

Member

teh-cmc commented Oct 14, 2024 •

edited

Loading

~~Not sure how that happened, but is sure did.~~ Merge race.

yes


          how?

5428ace

teh-cmc added 🪳 bug exclude from changelog 🚢 CI labels

teh-cmc changed the title ~~Fix main (dead import)~~ Fix main (merge race -- dead import)

teh-cmc merged commit 8839891 into main

31 of 33 checks passed

teh-cmc deleted the cmc/fix_main_20241014 branch

October 14, 2024 10:19

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🪳 bug exclude from changelog 🚢 CI