fix: some coq_version regexp (given the tag latest-native-flambda)

coq-community · Feb 5, 2025 · fe45b64 · fe45b64
1 parent ea62219
commit fe45b64
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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"