From 12f70806ceb94b13474f409cdae795fd913740ae Mon Sep 17 00:00:00 2001 From: Yishuai Li Date: Tue, 26 May 2020 17:09:07 -0400 Subject: [PATCH] ref: clarify tested_coq_opam_versions --- .github/workflows/lint.yml | 2 +- ref.yml | 8 ++++++++ 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 8986beb..531e502 100644 --- 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 index bc0d57f..a228b01 100644 --- 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