Skip to content

Commit 618c6bb

Browse files
committed
Bump proof-pr dogfood to v0.2.10
1 parent d09b09b commit 618c6bb

2 files changed

Lines changed: 4 additions & 3 deletions

File tree

.github/workflows/proof-pr.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9,10 +9,10 @@ permissions:
99

1010
jobs:
1111
proof:
12-
uses: saagpatel/proof-pr/.github/workflows/proof-pr-receipt.yml@v0.2.9
12+
uses: saagpatel/proof-pr/.github/workflows/proof-pr-receipt.yml@v0.2.10
1313
with:
1414
receipt_path: proof-pr.json
15-
proof_pr_ref: v0.2.9
15+
proof_pr_ref: v0.2.10
1616
check_public_git_metadata: true
1717
public_git_metadata_mode: introduced
1818
artifact_name: github-repo-auditor-proof-pr

docs/proof-pr-dogfood.md

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ environment and render the proof block from a generated receipt:
1212
```bash
1313
python3 -m venv /tmp/gra-proof-pr-venv
1414
/tmp/gra-proof-pr-venv/bin/python -m pip install \
15-
git+https://github.com/saagpatel/proof-pr.git@v0.2.9
15+
git+https://github.com/saagpatel/proof-pr.git@v0.2.10
1616
/tmp/gra-proof-pr-venv/bin/proof-pr init \
1717
--cwd . \
1818
--tier T1 \
@@ -35,6 +35,7 @@ Add `--check <id> --fix-only` when you want just one copyable command and compac
3535
receipt patch, instead of the full hygiene report. It keeps hygiene read-only.
3636
The reusable workflow writes the normal hygiene report plus a focused public git
3737
metadata fix block to the GitHub job summary when that finding exists.
38+
If no focused fix is needed, the block prints a clean no-action-needed note.
3839

3940
For GithubRepoAuditor, keep the risk tier honest:
4041

0 commit comments

Comments
 (0)