diff --git a/.github/workflows/proofcheck-agent.yml b/.github/workflows/proofcheck-agent.yml
index f5be16e..af285a5 100644
--- a/.github/workflows/proofcheck-agent.yml
+++ b/.github/workflows/proofcheck-agent.yml
@@ -31,9 +31,9 @@ jobs:
       actions: read
       pull-requests: read
       issues: read
-    uses: bhaskargurram-ai/proofcheck/.github/workflows/agent.yml@v1.0
+    uses: bhaskargurram-ai/proofcheck/.github/workflows/agent.yml@v1.0.0
     with:
-      proofcheck-ref: v1.0
+      proofcheck-ref: v1.0.0
       llm-provider: ${{ vars.PROOFCHECK_LLM_PROVIDER }}
       llm-model: ${{ vars.PROOFCHECK_LLM_MODEL }}
       llm-base-url: ${{ vars.PROOFCHECK_LLM_BASE_URL }}
@@ -53,9 +53,9 @@ jobs:
       contents: read
       actions: read
       pull-requests: write
-    uses: bhaskargurram-ai/proofcheck/.github/workflows/comment.yml@v1.0
+    uses: bhaskargurram-ai/proofcheck/.github/workflows/comment.yml@v1.0.0
     with:
-      proofcheck-ref: v1.0
+      proofcheck-ref: v1.0.0
       # Trusted values: the PR number comes from the gate job (API data, no PR
       # code ran there) and the artifact from this run's verify job.
       pr-number: ${{ needs.agent.outputs.pr-number }}
diff --git a/.github/workflows/proofcheck-comment.yml b/.github/workflows/proofcheck-comment.yml
index 2cab83b..de679d9 100644
--- a/.github/workflows/proofcheck-comment.yml
+++ b/.github/workflows/proofcheck-comment.yml
@@ -23,7 +23,7 @@ jobs:
       contents: read
       actions: read          # download the artifact of the triggering run
       pull-requests: write   # upsert the comment and the verdict label
-    uses: bhaskargurram-ai/proofcheck/.github/workflows/comment.yml@v1.0
+    uses: bhaskargurram-ai/proofcheck/.github/workflows/comment.yml@v1.0.0
     with:
-      proofcheck-ref: v1.0
+      proofcheck-ref: v1.0.0
       labels: true
diff --git a/.github/workflows/proofcheck.yml b/.github/workflows/proofcheck.yml
index 63706d6..362ebff 100644
--- a/.github/workflows/proofcheck.yml
+++ b/.github/workflows/proofcheck.yml
@@ -23,9 +23,9 @@ concurrency:
 
 jobs:
   evidence:
-    uses: bhaskargurram-ai/proofcheck/.github/workflows/evidence.yml@v1.0
+    uses: bhaskargurram-ai/proofcheck/.github/workflows/evidence.yml@v1.0.0
     with:
-      proofcheck-ref: v1.0
+      proofcheck-ref: v1.0.0
       python-version: "3.12"
       timeout-minutes: 90   # Rust: compiling the workspace for base, head and ablation takes a while
       # Installs the project under test; this runs PR code (unprivileged job).