Restore commit tag in CI workflow

sydhds · sydhds · commit dfb1ec7583be · 2025-10-22T10:08:00.000+02:00
diff --git a/.github/workflows/rln-prover-tests.yml b/.github/workflows/rln-prover-tests.yml
@@ -4,7 +4,15 @@ permissions:
   contents: read
   actions: read
 
+on:
+  workflow_call:
+    inputs:
+      commit_tag:
+        required: true
+        type: string
+
 env:
+  COMMIT_TAG: ${{ inputs.commit_tag }}
   PROTOC_VERSION: "3.25.3"
 
 jobs:
