From b4cde19146397a986cc9a6dca609e3e2d608c840 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Date: Tue, 15 Dec 2020 13:46:22 +0100
Subject: [PATCH] docs(action.yml): Update the ocaml_version description

(so no update of this description field is needed anymore)
---
 action.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.'