Skip to content

Commit c597e06

Browse files
committed
Bump proof-pr dogfood to v0.2.14
1 parent 2231ad9 commit c597e06

2 files changed

Lines changed: 7 additions & 5 deletions

File tree

.github/workflows/proof-pr.yml

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

1010
jobs:
1111
proof:
12-
uses: saagpatel/proof-pr/.github/workflows/proof-pr-receipt.yml@v0.2.13
12+
uses: saagpatel/proof-pr/.github/workflows/proof-pr-receipt.yml@v0.2.14
1313
with:
1414
receipt_path: proof-pr.json
15-
proof_pr_ref: v0.2.13
15+
proof_pr_ref: v0.2.14
16+
proof_summary_filename: github-repo-auditor-proof-summary.md
1617
check_public_git_metadata: true
1718
public_git_metadata_mode: introduced
1819
artifact_name: github-repo-auditor-proof-pr

docs/proof-pr-dogfood.md

Lines changed: 4 additions & 3 deletions
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.13
15+
git+https://github.com/saagpatel/proof-pr.git@v0.2.14
1616
/tmp/gra-proof-pr-venv/bin/proof-pr init \
1717
--cwd . \
1818
--tier T1 \
@@ -38,8 +38,9 @@ The reusable workflow writes the normal hygiene report plus a focused public git
3838
metadata fix block to the GitHub job summary when that finding exists.
3939
If no focused fix is needed, the block prints a clean no-action-needed note.
4040
Use `proof-pr examples` when choosing which receipt pattern to copy.
41-
The reusable workflow uploads `proof-pr-summary.md` with the rendered proof
42-
block alongside the receipt and any configured proof artifacts.
41+
The reusable workflow uploads a rendered proof summary alongside the receipt and
42+
any configured proof artifacts; this repo names it
43+
`github-repo-auditor-proof-summary.md`.
4344

4445
For GithubRepoAuditor, keep the risk tier honest:
4546

0 commit comments

Comments
 (0)