docs(action.yml): Update the ocaml_version description

(so no update of this description field is needed anymore)
coq-community · Dec 15, 2020 · b4cde19 · b4cde19
1 parent 4eea4ca
commit b4cde19
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/action.yml b/action.yml
@@ -12,7 +12,7 @@ inputs:
     description: '"8.X", "latest", or "dev".'
     default: 'latest'
   ocaml_version:
-    description: 'minimal, 4.07-flambda, or 4.09-flambda'
+    description: '"minimal", "4.XX", or "4.XX-flambda", see https://github.com/coq-community/docker-coq/wiki#supported-tags'
     default: 'minimal'
   before_install:
     description: 'Customizable script run before "install", empty by default.'