Skip to content

Conversation

gaeljw
Copy link
Member

@gaeljw gaeljw commented Jan 13, 2025

Fix #382

@gaeljw gaeljw self-assigned this Jan 13, 2025
@gaeljw gaeljw added 🐛 bug Defect / Bug 🔧 build Related to build / release process labels Jan 13, 2025
@gaeljw gaeljw merged commit 74dcee1 into main Jan 13, 2025
5 checks passed
@gaeljw gaeljw deleted the fix-ci branch January 13, 2025 08:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🐛 bug Defect / Bug 🔧 build Related to build / release process
Projects
None yet
Development

Successfully merging this pull request may close these issues.

CI is broken
1 participant