Skip to content

Conversation

@maxsnew
Copy link
Collaborator

@maxsnew maxsnew commented Dec 18, 2025

CI never ran on the updated branch so I didn't realize these were still broken. Would be better to squash this with the broken commit if possible

@maxsnew maxsnew merged commit fe1bd60 into agda:master Dec 18, 2025
1 check passed
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.

1 participant