Skip to content

Actions: hyperpolymath/proof-burrower

Actions

Static Analysis Gate

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
static-analysis-gate.yml
257 workflow runs
257 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 4 updates (#110) Static Analysis Gate #257: Commit e81d057 pushed by hyperpolymath
Startup failure main
main
Startup failure
Static Analysis Gate Static Analysis Gate #256: opened by dependabot Bot
Startup failure dependabot/github_actions/actions-cde91ae882
dependabot/github_actions/actions-cde91ae882
Startup failure
docs(plans): ultraplan and cross-repo hand-offs (plan only) (#106) Static Analysis Gate #255: Commit be897dd pushed by hyperpolymath
54s main
main
54s
docs(plans): ultraplan and cross-repo hand-offs (plan only) Static Analysis Gate #254: Pull request #106 opened by hyperpolymath
54s arena/183ad88e-proof-burrower
arena/183ad88e-proof-burrower
54s
chore(deps): bump the actions group with 11 updates (#103) Static Analysis Gate #253: Commit 916e77e pushed by hyperpolymath
48m 48s main
main
48m 48s
chore(deps): bump the actions group with 11 updates Static Analysis Gate #252: Pull request #103 synchronize by hyperpolymath
1h 2m 32s dependabot/github_actions/actions-af97079614
dependabot/github_actions/actions-af97079614
1h 2m 32s
Static Analysis Gate Static Analysis Gate #251: opened by dependabot Bot
Startup failure dependabot/github_actions/actions-af97079614
dependabot/github_actions/actions-af97079614
Startup failure
First-run start point: identity, echidna.prove.result/1 consumer, tem… Static Analysis Gate #250: Commit 83c683a pushed by hyperpolymath
49s main
main
49s
First-run start point: identity, echidna.prove.result/1 consumer, template shape Static Analysis Gate #249: Pull request #102 synchronize by hyperpolymath
38s firstrun/20261005
firstrun/20261005
38s
First-run start point: identity, echidna.prove.result/1 consumer, template shape Static Analysis Gate #248: Pull request #102 synchronize by hyperpolymath
51s firstrun/20261005
firstrun/20261005
51s
First-run start point: identity, echidna.prove.result/1 consumer, template shape Static Analysis Gate #247: Pull request #102 synchronize by hyperpolymath
2m 4s firstrun/20261005
firstrun/20261005
2m 4s
First-run start point: identity, echidna.prove.result/1 consumer, template shape Static Analysis Gate #246: Pull request #102 synchronize by hyperpolymath
1m 1s firstrun/20261005
firstrun/20261005
1m 1s
First-run start point: identity, echidna.prove.result/1 consumer, template shape Static Analysis Gate #245: Pull request #102 synchronize by hyperpolymath
57s firstrun/20261005
firstrun/20261005
57s
First-run start point: identity, echidna.prove.result/1 consumer, template shape Static Analysis Gate #244: Pull request #102 opened by hyperpolymath
57s firstrun/20261005
firstrun/20261005
57s
ci(hypatia): standardise the wrapper caller id to the canonical `hypa… Static Analysis Gate #243: Commit ea6674c pushed by hyperpolymath
2m 36s main
main
2m 36s
ci(hypatia): standardise the wrapper caller id to the canonical `hypa… Static Analysis Gate #242: Pull request #101 synchronize by hyperpolymath
1m 2s fix/hypatia-caller-id
fix/hypatia-caller-id
1m 2s
ci(hypatia): standardise the wrapper caller id to the canonical `hypa… Static Analysis Gate #241: Pull request #101 opened by hyperpolymath
1m 1s fix/hypatia-caller-id
fix/hypatia-caller-id
1m 1s
docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3… Static Analysis Gate #240: Commit aa46c9a pushed by hyperpolymath
6m 13s main
main
6m 13s
docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3078-6652) Static Analysis Gate #239: Pull request #100 synchronize by hyperpolymath
16m 11s chore/citation-orcid
chore/citation-orcid
16m 11s
docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3078-6652) Static Analysis Gate #238: Pull request #100 opened by hyperpolymath
14m 47s chore/citation-orcid
chore/citation-orcid
14m 47s
fix(ci): reconcile actions.lock so the lockfile validates (#99) Static Analysis Gate #237: Commit dc210e9 pushed by hyperpolymath
7h 49m 1s main
main
7h 49m 1s
fix(ci): reconcile actions.lock so the lockfile validates Static Analysis Gate #236: Pull request #99 opened by hyperpolymath
7h 50m 46s fix/lockfile-reconcile
fix/lockfile-reconcile
7h 50m 46s
fix(gates): gate on the DEED grammar, per the template and standards#… Static Analysis Gate #235: Commit b9f4121 pushed by hyperpolymath
8h 6m 31s main
main
8h 6m 31s
fix(gates): gate on the DEED grammar, per the template and standards#837 Static Analysis Gate #234: Pull request #98 synchronize by hyperpolymath
8h 6m 21s fix/deed-gate-grammar
fix/deed-gate-grammar
8h 6m 21s
fix(gates): gate on the DEED grammar, per the template and standards#837 Static Analysis Gate #233: Pull request #98 synchronize by hyperpolymath
8h 5m 18s fix/deed-gate-grammar
fix/deed-gate-grammar
8h 5m 18s