From 0d7d2d33c1676546a66a82c119390b13cfd1feac Mon Sep 17 00:00:00 2001 From: Claude Date: Wed, 14 Oct 2026 11:21:09 -0400 Subject: [PATCH] ci: pin proofcheck to the v1.0.0 release Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_017bQP5nwJVPMXqMhewzhQv5 --- .github/workflows/proofcheck-agent.yml | 8 ++++---- .github/workflows/proofcheck-comment.yml | 4 ++-- .github/workflows/proofcheck.yml | 4 ++-- 3 files changed, 8 insertions(+), 8 deletions(-) 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).