ref: clarify tested_coq_opam_versions

coq-community · May 26, 2020 · 12f7080 · 12f7080
1 parent dfd90f9
commit 12f7080
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -1,6 +1,6 @@
 ---
 name: Yaml Lint
-on: [push]
+on: [push, pull_request]
 jobs:
   lintAllTheThings:
     runs-on: ubuntu-latest

diff --git a/ref.yml b/ref.yml
@@ -248,6 +248,10 @@ keys:
             item_fields:
               - version:
                   required: true
+                  description: >
+                    Docker tag supported by coqorg/coq:
+                    https://github.com/coq-community/docker-coq/wiki#supported-tags
+                    Quote the strings, otherwise '8.10' becomes '8.1'.
             used:
               - .travis.yml
   - documentation:
@@ -275,6 +279,10 @@ keys:
       item_fields:
         - version:
             required: true
+            description: >
+              Docker tag supported by coqorg/coq:
+              https://github.com/coq-community/docker-coq/wiki#supported-tags
+              Quote the strings, otherwise '8.10' becomes '8.1'.
       used:
         - .travis.yml
         - coq-action.yml