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",