Skip to content

Commit

Permalink
Merge pull request #72 from math-comp/update_coq
Browse files Browse the repository at this point in the history
Adding Coq 8.14 CI
  • Loading branch information
CohenCyril authored Oct 28, 2021
2 parents f0067c6 + 8bd57a6 commit 3e11135
Show file tree
Hide file tree
Showing 4 changed files with 7 additions and 4 deletions.
1 change: 1 addition & 0 deletions .github/workflows/docker-action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -24,6 +24,7 @@ jobs:
- 'mathcomp/mathcomp-dev:coq-8.11'
- 'mathcomp/mathcomp-dev:coq-8.12'
- 'mathcomp/mathcomp-dev:coq-8.13'
- 'mathcomp/mathcomp-dev:coq-8.14'
- 'mathcomp/mathcomp-dev:coq-dev'
fail-fast: false
steps:
Expand Down
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ Mathematical Components library.
- Assia Mahboubi (initial)
- Pierre-Yves Strub (initial)
- License: [CeCILL-B](CeCILL-B)
- Compatible Coq versions: Coq 8.10 to 8.13
- Compatible Coq versions: Coq 8.10 to 8.14
- Additional dependencies:
- [MathComp ssreflect 1.12 and later](https://math-comp.github.io)
- [MathComp fingroup 1.12 and later](https://math-comp.github.io)
Expand Down
2 changes: 1 addition & 1 deletion coq-mathcomp-abel.opam
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ Mathematical Components library."""
build: [make "-j%{jobs}%"]
install: [make "install"]
depends: [
"coq" { (>= "8.10" & < "8.14~") | = "dev" }
"coq" { (>= "8.10" & < "8.15~") | = "dev" }
"coq-mathcomp-ssreflect" { (>= "1.12.0" & < "1.14~") | = "dev" }
"coq-mathcomp-fingroup"
"coq-mathcomp-algebra"
Expand Down
6 changes: 4 additions & 2 deletions meta.yml
Original file line number Diff line number Diff line change
Expand Up @@ -41,8 +41,8 @@ license:
file: CeCILL-B

supported_coq_versions:
text: Coq 8.10 to 8.13
opam: '{ (>= "8.10" & < "8.14~") | = "dev" }'
text: Coq 8.10 to 8.14
opam: '{ (>= "8.10" & < "8.15~") | = "dev" }'

tested_coq_opam_versions:
- version: '1.12.0-coq-8.10'
Expand All @@ -59,6 +59,8 @@ tested_coq_opam_versions:
repo: 'mathcomp/mathcomp-dev'
- version: 'coq-8.13'
repo: 'mathcomp/mathcomp-dev'
- version: 'coq-8.14'
repo: 'mathcomp/mathcomp-dev'
- version: 'coq-dev'
repo: 'mathcomp/mathcomp-dev'

Expand Down

0 comments on commit 3e11135

Please sign in to comment.