diff --git a/.github/workflows/proofcheck-agent.yml b/.github/workflows/proofcheck-agent.yml
index af285a5..9795b39 100644
--- a/.github/workflows/proofcheck-agent.yml
+++ b/.github/workflows/proofcheck-agent.yml
@@ -53,7 +53,7 @@ jobs:
       contents: read
       actions: read
       pull-requests: write
-    uses: bhaskargurram-ai/proofcheck/.github/workflows/comment.yml@v1.0.0
+    uses: bhaskargurram-ai/proofcheck/.github/workflows/comment.yml@v1.0.2
     with:
       proofcheck-ref: v1.0.0
       # Trusted values: the PR number comes from the gate job (API data, no PR
diff --git a/.github/workflows/proofcheck-comment.yml b/.github/workflows/proofcheck-comment.yml
index de679d9..e2955bd 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.0
+    uses: bhaskargurram-ai/proofcheck/.github/workflows/comment.yml@v1.0.2
     with:
       proofcheck-ref: v1.0.0
       labels: true