From c597e0659ebe25685d93fe7b341d44bbe100a561 Mon Sep 17 00:00:00 2001 From: saagpatel <269905221+saagpatel@users.noreply.github.com> Date: Sat, 20 Jun 2026 15:04:08 +0000 Subject: [PATCH] Bump proof-pr dogfood to v0.2.14 --- .github/workflows/proof-pr.yml | 5 +++-- docs/proof-pr-dogfood.md | 7 ++++--- 2 files changed, 7 insertions(+), 5 deletions(-) diff --git a/.github/workflows/proof-pr.yml b/.github/workflows/proof-pr.yml index 31b3222..cbb8dc0 100644 --- a/.github/workflows/proof-pr.yml +++ b/.github/workflows/proof-pr.yml @@ -9,10 +9,11 @@ permissions: jobs: proof: - uses: saagpatel/proof-pr/.github/workflows/proof-pr-receipt.yml@v0.2.13 + uses: saagpatel/proof-pr/.github/workflows/proof-pr-receipt.yml@v0.2.14 with: receipt_path: proof-pr.json - proof_pr_ref: v0.2.13 + proof_pr_ref: v0.2.14 + proof_summary_filename: github-repo-auditor-proof-summary.md 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 ca17834..81480e5 100644 --- a/docs/proof-pr-dogfood.md +++ b/docs/proof-pr-dogfood.md @@ -12,7 +12,7 @@ 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.13 + git+https://github.com/saagpatel/proof-pr.git@v0.2.14 /tmp/gra-proof-pr-venv/bin/proof-pr init \ --cwd . \ --tier T1 \ @@ -38,8 +38,9 @@ The reusable workflow writes the normal hygiene report plus a focused public git metadata fix block to the GitHub job summary when that finding exists. If no focused fix is needed, the block prints a clean no-action-needed note. Use `proof-pr examples` when choosing which receipt pattern to copy. -The reusable workflow uploads `proof-pr-summary.md` with the rendered proof -block alongside the receipt and any configured proof artifacts. +The reusable workflow uploads a rendered proof summary alongside the receipt and +any configured proof artifacts; this repo names it +`github-repo-auditor-proof-summary.md`. For GithubRepoAuditor, keep the risk tier honest: