Skip to content

Conversation

@jberthold
Copy link
Member

No description provided.

@jberthold jberthold requested a review from dkcumming January 23, 2026 03:39
@jberthold jberthold merged commit 2f8f42b into proofs Jan 23, 2026
1 check passed
@jberthold jberthold deleted the HOTFIX-setup-without-submodule-update-by-default branch January 23, 2026 04:13
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.

3 participants