Skip to content

Commit

Permalink
Merge pull request #757 from proux01/ci-coq9
Browse files Browse the repository at this point in the history 
[CI] Add Coq 9.0+rc1
  • Loading branch information
@gares
gares authored Jan 28, 2025
2 parents 5484806 + 27c91de commit 83aaada
Show file tree
Hide file tree
Showing 5 changed files with 2,260 additions and 318 deletions.
Loading

0 comments on commit 83aaada

Please sign in to comment.