From 816313001c949f50e737d4b6fb6a7ae42e26a1c2 Mon Sep 17 00:00:00 2001 From: saagpatel <269905221+saagpatel@users.noreply.github.com> Date: Sat, 20 Jun 2026 14:14:58 +0000 Subject: [PATCH] Bump proof-pr dogfood to v0.2.12 --- .github/workflows/proof-pr.yml | 4 ++-- docs/proof-pr-dogfood.md | 3 ++- proof-pr.json | 8 +++++++- 3 files changed, 11 insertions(+), 4 deletions(-) diff --git a/.github/workflows/proof-pr.yml b/.github/workflows/proof-pr.yml index 30ae7cd..fce142b 100644 --- a/.github/workflows/proof-pr.yml +++ b/.github/workflows/proof-pr.yml @@ -9,10 +9,10 @@ permissions: jobs: proof: - uses: saagpatel/proof-pr/.github/workflows/proof-pr-receipt.yml@v0.2.11 + uses: saagpatel/proof-pr/.github/workflows/proof-pr-receipt.yml@v0.2.12 with: receipt_path: proof-pr.json - proof_pr_ref: v0.2.11 + proof_pr_ref: v0.2.12 check_public_git_metadata: true public_git_metadata_mode: introduced artifact_name: github-repo-auditor-proof-pr diff --git a/docs/proof-pr-dogfood.md b/docs/proof-pr-dogfood.md index 659d787..cb5949c 100644 --- a/docs/proof-pr-dogfood.md +++ b/docs/proof-pr-dogfood.md @@ -12,10 +12,11 @@ environment and render the proof block from a generated receipt: ```bash python3 -m venv /tmp/gra-proof-pr-venv /tmp/gra-proof-pr-venv/bin/python -m pip install \ - git+https://github.com/saagpatel/proof-pr.git@v0.2.11 + git+https://github.com/saagpatel/proof-pr.git@v0.2.12 /tmp/gra-proof-pr-venv/bin/proof-pr init \ --cwd . \ --tier T1 \ + --example "Test-only maintenance" \ --summary "Short PR summary" \ --output /tmp/gra-proof-pr.json /tmp/gra-proof-pr-venv/bin/proof-pr collect \ diff --git a/proof-pr.json b/proof-pr.json index 5d8d7f2..7b6a5ae 100644 --- a/proof-pr.json +++ b/proof-pr.json @@ -16,7 +16,13 @@ "tool": "proof-pr", "version": "0.1.3", "agent": "codex", - "mode": "local" + "mode": "local", + "example_pattern": { + "pattern": "Workflow dogfood", + "example": "examples/pr-087-github-repo-auditor-dogfood.json", + "tier": "T3", + "source": "explicit" + } }, "risk": { "tier": "T3",