ref: clarify tested_coq_opam_versions

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

Hide file tree

Showing 2 changed files with 7 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,9 @@ keys:
             item_fields:
               - version:
                   required: true
+                  description: |
+                    Docker tag supported by coqorg/coq:
+                    https://github.com/coq-community/docker-coq/wiki#supported-tags
             used:
               - .travis.yml
   - documentation:
@@ -275,6 +278,9 @@ keys:
       item_fields:
         - version:
             required: true
+            description: |
+              Docker tag supported by coqorg/coq:
+              https://github.com/coq-community/docker-coq/wiki#supported-tags
       used:
         - .travis.yml
         - coq-action.yml