Skip to content

Add test for lower bounds on dependencies. - #3218

Draft
silene wants to merge 2 commits into
rocq-prover:masterfrom
silene:lower-bounds
Draft

Add test for lower bounds on dependencies.#3218
silene wants to merge 2 commits into
rocq-prover:masterfrom
silene:lower-bounds

Conversation

@silene

@silene silene commented Nov 29, 2024

Copy link
Copy Markdown
Contributor

Note: the second commit is only here for testing purpose.

@silene
silene force-pushed the lower-bounds branch 2 times, most recently from 2fddb8d to 5c4a00d Compare November 29, 2024 16:01
This commit also updates a bit the compiler versions.
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