diff --git a/action.yml b/action.yml index 9e55ea4..a1c7890 100644 --- 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.'