Skip to content

Actions: hyperpolymath/a2mliser

Actions

Static Analysis Gate

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
static-analysis-gate.yml
119 workflow runs
119 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
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems Static Analysis Gate #94: Pull request #33 opened by hyperpolymath
1m 0s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 0s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#32) Static Analysis Gate #93: Commit d4725c7 pushed by hyperpolymath
3m 58s main
main
3m 58s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) Static Analysis Gate #92: Pull request #32 opened by hyperpolymath
4m 28s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
4m 28s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… Static Analysis Gate #91: Commit 5ef92e9 pushed by hyperpolymath
1h 10m 16s main
main
1h 10m 16s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health) Static Analysis Gate #90: Pull request #31 opened by hyperpolymath
1h 5m 38s fix/readme-adoc-to-markdown
fix/readme-adoc-to-markdown
1h 5m 38s
chore(licence): remove residual Palimpsest/PMPL contradiction text (#30) Static Analysis Gate #89: Commit 9db21b2 pushed by hyperpolymath
1h 2m 18s main
main
1h 2m 18s
chore(licence): remove residual Palimpsest/PMPL contradiction text Static Analysis Gate #88: Pull request #30 opened by hyperpolymath
9h 19m 8s chore/licence-contradiction-text-2026-06-25
chore/licence-contradiction-text-2026-06-25
9h 19m 8s
chore(ci): add dormant push-email notification workflow (#29) Static Analysis Gate #87: Commit 7b73e1e pushed by hyperpolymath
1d 0h 16m 2s main
main
1d 0h 16m 2s
chore(ci): add dormant push-email notification workflow Static Analysis Gate #86: Pull request #29 synchronize by hyperpolymath
1d 0h 16m 22s chore/push-email-notify
chore/push-email-notify
1d 0h 16m 22s
chore(ci): add dormant push-email notification workflow Static Analysis Gate #85: Pull request #29 opened by hyperpolymath
1d 0h 19m 42s chore/push-email-notify
chore/push-email-notify
1d 0h 19m 42s
chore(clade): backfill [status] lifecycle block (#28) Static Analysis Gate #84: Commit cac8c0e pushed by hyperpolymath
1d 1h 29m 27s main
main
1d 1h 29m 27s
chore(clade): backfill [status] lifecycle block Static Analysis Gate #83: Pull request #28 opened by hyperpolymath
1d 1h 0m 33s chore/clade-status-backfill
chore/clade-status-backfill
1d 1h 0m 33s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … Static Analysis Gate #82: Commit 2e10384 pushed by hyperpolymath
1d 1h 43m 19s main
main
1d 1h 43m 19s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) Static Analysis Gate #81: Pull request #27 opened by hyperpolymath
1d 1h 49m 1s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
1d 1h 49m 1s
chore(ci): bump standards reusable workflow pins (#26) Static Analysis Gate #80: Commit 3b91de1 pushed by hyperpolymath
32m 17s main
main
32m 17s
chore(ci): bump standards reusable workflow pins Static Analysis Gate #79: Pull request #26 opened by hyperpolymath
22m 37s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
22m 37s
chore(nix->guix): remove flake.nix (Guix-only) (#25) Static Analysis Gate #78: Commit 3b1a630 pushed by hyperpolymath
1h 41m 3s main
main
1h 41m 3s
chore(nix->guix): remove flake.nix (Guix-only) Static Analysis Gate #77: Pull request #25 opened by hyperpolymath
1h 42m 4s chore/nix-to-guix-2026-06-24
chore/nix-to-guix-2026-06-24
1h 42m 4s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … Static Analysis Gate #76: Commit 0638ddd pushed by hyperpolymath
42s main
main
42s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) Static Analysis Gate #75: Pull request #24 opened by hyperpolymath
46s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
46s
chore: retire local issue/discussion templates -> inherit org .github… Static Analysis Gate #74: Commit cb65504 pushed by hyperpolymath
1h 34m 33s main
main
1h 34m 33s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… Static Analysis Gate #73: Commit 93beae3 pushed by hyperpolymath
43m 50s main
main
43m 50s
docs: de-dup README/CHANGELOG (keep .adoc, port sponsor badge) (#23) Static Analysis Gate #72: Commit 9437442 pushed by hyperpolymath
2m 18s main
main
2m 18s
docs: de-dup README/CHANGELOG (keep .adoc, port sponsor badge) Static Analysis Gate #71: Pull request #23 synchronize by hyperpolymath
50s claude/sharp-cannon-038nwu
claude/sharp-cannon-038nwu
50s
docs: de-dup README/CHANGELOG (keep .adoc, port sponsor badge) Static Analysis Gate #70: Pull request #23 opened by hyperpolymath
1m 4s claude/sharp-cannon-038nwu
claude/sharp-cannon-038nwu
1m 4s