chore: Add missing test with coqorg/coq:8.12

coq-community · Jun 20, 2020 · 1721bfb · 1721bfb
1 parent 14abcc0
commit 1721bfb
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -61,3 +61,8 @@ jobs:
     - NJOBS=2
     <<: *OPAM
 
+  - env:
+    - COQ_IMAGE=coqorg/coq:8.12
+    - CONTRIB_NAME=coq-bignums
+    - NJOBS=2
+    <<: *OPAM