Skip to content

Commit 6fa937e

Browse files
authored
Use proof-pr v0.2.0 workflow (#89)
Update the GithubRepoAuditor proof-pr dogfood workflow to v0.2.0 and mark the committed receipt head as pending_commit.
1 parent 3473e5b commit 6fa937e

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,9 +9,9 @@ permissions:
99

1010
jobs:
1111
proof:
12-
uses: saagpatel/proof-pr/.github/workflows/proof-pr-receipt.yml@v0.1.3
12+
uses: saagpatel/proof-pr/.github/workflows/proof-pr-receipt.yml@v0.2.0
1313
with:
1414
receipt_path: proof-pr.json
15-
proof_pr_ref: v0.1.3
15+
proof_pr_ref: v0.2.0
1616
artifact_name: github-repo-auditor-proof-pr
1717
artifact_glob: proof-pr-artifacts/**

proof-pr.json

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,8 @@
99
"base_ref": "main",
1010
"base_sha": "b69bd828a240572594ed4a8afec159e546fccefa",
1111
"head_ref": "chore/proof-pr-dogfood",
12-
"head_sha": "pending-pr-head"
12+
"head_sha": "pending-pr-head",
13+
"head_sha_status": "pending_commit"
1314
},
1415
"producer": {
1516
"tool": "proof-pr",

0 commit comments

Comments
 (0)