Skip to content

Commit

Permalink
Add newer Coq versions to CI (#34)
Browse files Browse the repository at this point in the history
  • Loading branch information
JasonGross authored Sep 26, 2023
1 parent 0900ec0 commit 2813c50
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/coq.yml
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ jobs:
# about Coq versions from this file, so be careful about the
# presence of COQ_VERSION immediately followed by : in this
# file and about the ordering of the list
COQ_VERSION: ["dev", "8.15", "8.14", "8.13", "8.12", "8.11", "8.10", "8.9", "8.8"]
COQ_VERSION: ["dev", "8.18", "8.17", "8.16", "8.15", "8.14", "8.13", "8.12", "8.11", "8.10", "8.9", "8.8"]

concurrency:
group: ${{ github.workflow }}-${{ matrix.COQ_VERSION }}-${{ github.head_ref || ( github.ref == 'refs/heads/master' && github.run_id ) || github.ref }}
Expand Down

0 comments on commit 2813c50

Please sign in to comment.