Skip to content

Commit

Permalink
Merge pull request #44 from coq-community/update-action-doc
Browse files Browse the repository at this point in the history
docs(action.yml): Update the ocaml_version description
  • Loading branch information
erikmd authored Dec 15, 2020
2 parents 4eea4ca + b4cde19 commit 2f82664
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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.'
Expand Down

0 comments on commit 2f82664

Please sign in to comment.