Skip to content

Adapt to rocq-prover/rocq#21419#87

Merged
Lysxia merged 2 commits intoLysxia:masterfrom
mattam82:sort-poly-flags
Dec 17, 2025
Merged

Adapt to rocq-prover/rocq#21419#87
Lysxia merged 2 commits intoLysxia:masterfrom
mattam82:sort-poly-flags

Conversation

@mattam82
Copy link
Contributor

No description provided.

@ppedrot
Copy link

ppedrot commented Dec 17, 2025

Please merge now.

@Lysxia Lysxia merged commit f6cadf7 into Lysxia:master Dec 17, 2025
6 of 7 checks 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.

3 participants