chore: Add missing test with coqorg/coq:8.12

coq-community · Jun 20, 2020 · 0551df2 · 0551df2
1 parent 9debf09
commit 0551df2
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