From fe45b64fadba7137350372d1c2d4200c64332c1f Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Date: Wed, 5 Feb 2025 19:03:53 +0100
Subject: [PATCH] fix: some coq_version regexp (given the tag
 `latest-native-flambda`)

---
 entrypoint.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/entrypoint.sh b/entrypoint.sh
index fca8cc8..22e59f7 100755
--- a/entrypoint.sh
+++ b/entrypoint.sh
@@ -126,7 +126,7 @@ if test -z "$INPUT_CUSTOM_IMAGE"; then
 
         ROCQ_PREFIX="coqorg/coq"
 
-    else
+    else # e.g. 9 or dev
 
         ROCQ_PREFIX="rocq/rocq-prover"
 
@@ -136,7 +136,7 @@ if test -z "$INPUT_CUSTOM_IMAGE"; then
 
         COQ_IMAGE="$ROCQ_PREFIX:$INPUT_COQ_VERSION"
 
-    elif printf "%s" "$INPUT_COQ_VERSION" | grep -e '.-native$' -q; then
+    elif printf "%s" "$INPUT_COQ_VERSION" | grep -e '.-native' -q; then
 
         COQ_IMAGE="$ROCQ_PREFIX:$INPUT_COQ_VERSION"