Skip to content

Actions: hyperpolymath/proof-burrower

Actions

Governance

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
governance.yml
182 workflow runs
182 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) Governance #182: Commit 916e77e pushed by hyperpolymath
50m 0s main
main
50m 0s
chore(deps): bump the actions group with 11 updates Governance #181: Pull request #103 synchronize by hyperpolymath
1h 5m 27s dependabot/github_actions/actions-af97079614
dependabot/github_actions/actions-af97079614
1h 5m 27s
chore(deps): bump the actions group with 11 updates Governance #180: Pull request #103 opened by dependabot Bot
45s dependabot/github_actions/actions-af97079614
dependabot/github_actions/actions-af97079614
45s
First-run start point: identity, echidna.prove.result/1 consumer, tem… Governance #179: Commit 83c683a pushed by hyperpolymath
29s main
main
29s
First-run start point: identity, echidna.prove.result/1 consumer, template shape Governance #178: Pull request #102 synchronize by hyperpolymath
22s firstrun/20261005
firstrun/20261005
22s
First-run start point: identity, echidna.prove.result/1 consumer, template shape Governance #177: Pull request #102 synchronize by hyperpolymath
26s firstrun/20261005
firstrun/20261005
26s
First-run start point: identity, echidna.prove.result/1 consumer, template shape Governance #176: Pull request #102 synchronize by hyperpolymath
35s firstrun/20261005
firstrun/20261005
35s
First-run start point: identity, echidna.prove.result/1 consumer, template shape Governance #175: Pull request #102 synchronize by hyperpolymath
23s firstrun/20261005
firstrun/20261005
23s
First-run start point: identity, echidna.prove.result/1 consumer, template shape Governance #174: Pull request #102 synchronize by hyperpolymath
42s firstrun/20261005
firstrun/20261005
42s
First-run start point: identity, echidna.prove.result/1 consumer, template shape Governance #173: Pull request #102 opened by hyperpolymath
1m 59s firstrun/20261005
firstrun/20261005
1m 59s
ci(hypatia): standardise the wrapper caller id to the canonical `hypa… Governance #172: Commit ea6674c pushed by hyperpolymath
3m 55s main
main
3m 55s
ci(hypatia): standardise the wrapper caller id to the canonical `hypa… Governance #171: Pull request #101 synchronize by hyperpolymath
34s fix/hypatia-caller-id
fix/hypatia-caller-id
34s
ci(hypatia): standardise the wrapper caller id to the canonical `hypa… Governance #170: Pull request #101 opened by hyperpolymath
47s fix/hypatia-caller-id
fix/hypatia-caller-id
47s
docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3… Governance #169: Commit aa46c9a pushed by hyperpolymath
6m 49s main
main
6m 49s
docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3078-6652) Governance #168: Pull request #100 synchronize by hyperpolymath
16m 19s chore/citation-orcid
chore/citation-orcid
16m 19s
docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3078-6652) Governance #167: Pull request #100 opened by hyperpolymath
14m 23s chore/citation-orcid
chore/citation-orcid
14m 23s
fix(ci): reconcile actions.lock so the lockfile validates (#99) Governance #166: Commit dc210e9 pushed by hyperpolymath
7h 49m 14s main
main
7h 49m 14s
fix(ci): reconcile actions.lock so the lockfile validates Governance #165: Pull request #99 opened by hyperpolymath
7h 51m 18s fix/lockfile-reconcile
fix/lockfile-reconcile
7h 51m 18s
fix(gates): gate on the DEED grammar, per the template and standards#… Governance #164: Commit b9f4121 pushed by hyperpolymath
8h 6m 18s main
main
8h 6m 18s
fix(gates): gate on the DEED grammar, per the template and standards#837 Governance #163: Pull request #98 synchronize by hyperpolymath
8h 6m 32s fix/deed-gate-grammar
fix/deed-gate-grammar
8h 6m 32s
fix(gates): gate on the DEED grammar, per the template and standards#837 Governance #162: Pull request #98 synchronize by hyperpolymath
8h 6m 48s fix/deed-gate-grammar
fix/deed-gate-grammar
8h 6m 48s
fix(gates): gate on the DEED grammar, per the template and standards#837 Governance #161: Pull request #98 synchronize by hyperpolymath
8h 12m 24s fix/deed-gate-grammar
fix/deed-gate-grammar
8h 12m 24s
fix(gates): gate on the DEED grammar, per the template and standards#837 Governance #160: Pull request #98 opened by hyperpolymath
8h 21m 13s fix/deed-gate-grammar
fix/deed-gate-grammar
8h 21m 13s
fix(dogfood-gate): validate DEED via deed-ecosystem, not a2ml-era nam… Governance #159: Commit f316240 pushed by hyperpolymath
8h 24m 15s main
main
8h 24m 15s
fix(dogfood-gate): validate DEED via deed-ecosystem, not a2ml-era naming Governance #158: Pull request #97 opened by hyperpolymath
8h 24m 20s fix/deed-gate-a2ml-retire
fix/deed-gate-a2ml-retire
8h 24m 20s