test with minimal mathcomp

imdea-software · Oct 15, 2020 · 1d5b782 · 1d5b782
1 parent 0bd834f
commit 1d5b782
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -9,7 +9,7 @@ env:
   - NJOBS="2"
   - CONTRIB_NAME="demo"
   matrix:
-  - COQ_IMAGE="mathcomp/mathcomp:1.11.0-coq-8.11"
+  - COQ_IMAGE="mathcomp/mathcomp:1.10.0-coq-8.11"
   - COQ_IMAGE="mathcomp/mathcomp:1.11.0-coq-8.12"
   - COQ_IMAGE="coqorg/coq:dev"
   # "default" switch: $COMPILER