[CI] Add specific test for v8.13

coq-community · Dec 6, 2020 · 048faca · 048faca
1 parent 65de9cb
commit 048faca
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.github/workflows/build-coq-bignums.yml b/.github/workflows/build-coq-bignums.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - master
+      - 'v8.13'
   pull_request:
     branches:
       - '**'
@@ -19,6 +20,7 @@ jobs:
       matrix:
         image:
           - 'coqorg/coq:dev'
+          - 'coqorg/coq:8.13'
       fail-fast: false
     steps:
       - uses: actions/checkout@v2

diff --git a/coq-bignums.opam b/coq-bignums.opam
@@ -17,7 +17,7 @@ run-test: [make "-C" "tests" "-j%{jobs}%"]
 install: [make "install"]
 depends: [
   "ocaml"
-  "coq" {= "dev"}
+  "coq" {(>= "8.13" & < "8.14~") | (= "dev")}
 ]
 
 tags: [