Skip to content

Actions: hyperpolymath/proof-burrower

Actions

Proof Safety

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof-safety.yml
80 workflow runs
80 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore(deps): bump the actions group with 11 updates (#103) Proof Safety #80: Commit 916e77e pushed by hyperpolymath
19m 8s main
main
19m 8s
chore(deps): bump the actions group with 11 updates Proof Safety #79: Pull request #103 synchronize by hyperpolymath
16m 48s dependabot/github_actions/actions-af97079614
dependabot/github_actions/actions-af97079614
16m 48s
chore(deps): bump the actions group with 11 updates Proof Safety #78: Pull request #103 opened by dependabot Bot
3m 52s dependabot/github_actions/actions-af97079614
dependabot/github_actions/actions-af97079614
3m 52s
First-run start point: identity, echidna.prove.result/1 consumer, tem… Proof Safety #77: Commit 83c683a pushed by hyperpolymath
3m 20s main
main
3m 20s
First-run start point: identity, echidna.prove.result/1 consumer, template shape Proof Safety #76: Pull request #102 synchronize by hyperpolymath
4m 18s firstrun/20261005
firstrun/20261005
4m 18s
First-run start point: identity, echidna.prove.result/1 consumer, template shape Proof Safety #75: Pull request #102 synchronize by hyperpolymath
52s firstrun/20261005
firstrun/20261005
52s
First-run start point: identity, echidna.prove.result/1 consumer, template shape Proof Safety #74: Pull request #102 synchronize by hyperpolymath
2m 19s firstrun/20261005
firstrun/20261005
2m 19s
First-run start point: identity, echidna.prove.result/1 consumer, template shape Proof Safety #73: Pull request #102 synchronize by hyperpolymath
1m 37s firstrun/20261005
firstrun/20261005
1m 37s
First-run start point: identity, echidna.prove.result/1 consumer, template shape Proof Safety #72: Pull request #102 synchronize by hyperpolymath
5m 38s firstrun/20261005
firstrun/20261005
5m 38s
First-run start point: identity, echidna.prove.result/1 consumer, template shape Proof Safety #71: Pull request #102 opened by hyperpolymath
1m 35s firstrun/20261005
firstrun/20261005
1m 35s
ci(hypatia): standardise the wrapper caller id to the canonical `hypa… Proof Safety #70: Commit ea6674c pushed by hyperpolymath
5m 59s main
main
5m 59s
ci(hypatia): standardise the wrapper caller id to the canonical `hypa… Proof Safety #69: Pull request #101 synchronize by hyperpolymath
3m 16s fix/hypatia-caller-id
fix/hypatia-caller-id
3m 16s
ci(hypatia): standardise the wrapper caller id to the canonical `hypa… Proof Safety #68: Pull request #101 opened by hyperpolymath
3m 34s fix/hypatia-caller-id
fix/hypatia-caller-id
3m 34s
docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3… Proof Safety #67: Commit aa46c9a pushed by hyperpolymath
4m 11s main
main
4m 11s
docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3078-6652) Proof Safety #66: Pull request #100 synchronize by hyperpolymath
3m 39s chore/citation-orcid
chore/citation-orcid
3m 39s
docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3078-6652) Proof Safety #65: Pull request #100 opened by hyperpolymath
4m 25s chore/citation-orcid
chore/citation-orcid
4m 25s
fix(ci): reconcile actions.lock so the lockfile validates (#99) Proof Safety #64: Commit dc210e9 pushed by hyperpolymath
4m 25s main
main
4m 25s
fix(ci): reconcile actions.lock so the lockfile validates Proof Safety #63: Pull request #99 opened by hyperpolymath
4m 12s fix/lockfile-reconcile
fix/lockfile-reconcile
4m 12s
fix(gates): gate on the DEED grammar, per the template and standards#… Proof Safety #62: Commit b9f4121 pushed by hyperpolymath
4m 0s main
main
4m 0s
fix(gates): gate on the DEED grammar, per the template and standards#837 Proof Safety #61: Pull request #98 synchronize by hyperpolymath
3m 18s fix/deed-gate-grammar
fix/deed-gate-grammar
3m 18s
fix(gates): gate on the DEED grammar, per the template and standards#837 Proof Safety #60: Pull request #98 synchronize by hyperpolymath
15s fix/deed-gate-grammar
fix/deed-gate-grammar
15s
fix(gates): gate on the DEED grammar, per the template and standards#837 Proof Safety #59: Pull request #98 synchronize by hyperpolymath
3m 41s fix/deed-gate-grammar
fix/deed-gate-grammar
3m 41s
fix(gates): gate on the DEED grammar, per the template and standards#837 Proof Safety #58: Pull request #98 opened by hyperpolymath
3m 34s fix/deed-gate-grammar
fix/deed-gate-grammar
3m 34s
fix(dogfood-gate): validate DEED via deed-ecosystem, not a2ml-era nam… Proof Safety #57: Commit f316240 pushed by hyperpolymath
3m 30s main
main
3m 30s
fix(dogfood-gate): validate DEED via deed-ecosystem, not a2ml-era naming Proof Safety #56: Pull request #97 opened by hyperpolymath
3m 30s fix/deed-gate-a2ml-retire
fix/deed-gate-a2ml-retire
3m 30s