allow specifying the Docker repo for 'tested_coq_opam_versions'

coq-community · Jun 25, 2020 · 467c9b3 · 467c9b3
1 parent a4e40cb
commit 467c9b3
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/.travis.yml.mustache b/.travis.yml.mustache
@@ -62,7 +62,7 @@ jobs:
   # Test supported versions of Coq via OPAM
 {{# tested_coq_opam_versions }}
   - env:
-    - COQ_IMAGE=coqorg/coq:{{ version }}
+    - COQ_IMAGE={{ repo }}{{^ repo }}coqorg/coq{{/ repo }}:{{ version }}
     - PACKAGE={{ opam_name }}{{^ opam_name }}coq-{{ shortname }}{{/ opam_name }}.{{ opam-file-version }}{{^ opam-file-version }}dev{{/ opam-file-version }}
     - NJOBS=2
     <<: *OPAM

diff --git a/ref.yml b/ref.yml
@@ -373,6 +373,14 @@ fields:
             examples:
               - '8.11'
               - 'dev'
+	- repo:
+	    required: false
+	    description: >
+	      Docker repository supporting the given docker tag.
+	      Defaults to 'coqorg/coq'.
+	    examples:
+	      - 'mathcomp/mathcomp'
+	      - 'mathcomp/mathcomp-dev'
       used:
         - .travis.yml
         - coq-action.yml