Skip to content

Fix compiled known versions#62

Merged
eifinger merged 1 commit intomainfrom
fix-known-versions
Jan 28, 2025
Merged

Fix compiled known versions#62
eifinger merged 1 commit intomainfrom
fix-known-versions

Conversation

@eifinger
Copy link
Collaborator

No description provided.

@eifinger eifinger added the ci Changes to automatic workflows label Jan 28, 2025
@eifinger eifinger merged commit 2993ff4 into main Jan 28, 2025
23 checks passed
@eifinger eifinger deleted the fix-known-versions branch January 28, 2025 19:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci Changes to automatic workflows

1 participant