Skip to content

Actions: hyperpolymath/panic-attack

Actions

GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
casket-pages.yml
120 workflow runs
120 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(ci): replace scorecard.yml with reusable wrapper (#68) GitHub Pages #120: Commit 0c70ddc pushed by hyperpolymath
Queued main
main
Queued
docs: record tech-debt audit findings (2026-05-26) (#59) GitHub Pages #119: Commit 0d32139 pushed by hyperpolymath
22m 41s main
main
22m 41s
chore(ci): replace mirror.yml with reusable wrapper (#66) GitHub Pages #118: Commit b1a3e49 pushed by hyperpolymath
1h 30m 18s main
main
1h 30m 18s
fix(assail): char-boundary-aware advance in Isabelle cartouche skip (… GitHub Pages #117: Commit 8ced37b pushed by hyperpolymath
11m 39s main
main
11m 39s
chore(license): migrate to AGPL-3.0-or-later (#64) GitHub Pages #116: Commit c7e7fb0 pushed by hyperpolymath
2h 25m 49s main
main
2h 25m 49s
feat(sweep-tracker): hierarchical estate-sweep Markdown report (#62) GitHub Pages #115: Commit 09b80f4 pushed by hyperpolymath
5h 18m 26s main
main
5h 18m 26s
chore(ci): convert hypatia-scan.yml to wrapper of standards reusable … GitHub Pages #114: Commit d449286 pushed by hyperpolymath
3h 22m 6s main
main
3h 22m 6s
fix: bound three unbounded file reads (resolves self-scan Critical) (… GitHub Pages #113: Commit 0f6ea94 pushed by hyperpolymath
21m 33s main
main
21m 33s
fix(bridge): distinguish direct vs transitive phantom deps (closes #4… GitHub Pages #112: Commit ea02d50 pushed by hyperpolymath
33m 59s main
main
33m 59s
fix(assail): PA021 Isabelle detector skips prose blocks + antiquotati… GitHub Pages #111: Commit db0e1b7 pushed by hyperpolymath
5m 17s main
main
5m 17s
fix(proofs): align Idris Lang enum with Rust (Chapel not C) — closes … GitHub Pages #110: Commit 7766c18 pushed by hyperpolymath
7m 55s main
main
7m 55s
ci(rust): convert rust-ci.yml to thin wrapper (standards#174) (#45) GitHub Pages #109: Commit edf8d6e pushed by hyperpolymath
40m 56s main
main
40m 56s
fix(gui): make headless GUI path feature-independent (#44) GitHub Pages #108: Commit da58c21 pushed by hyperpolymath
15m 10s main
main
15m 10s
docs: post-rename hygiene + stale-fact refresh (26 files) (#40) GitHub Pages #107: Commit 43d36ca pushed by hyperpolymath
24m 35s main
main
24m 35s
chore(msrv): feature-gate eframe/egui behind opt-in gui feature (#39) GitHub Pages #106: Commit 2e7b1ab pushed by hyperpolymath
9m 43s main
main
9m 43s
chore(pre-commit): SHA-pin a2ml + k9 hooks (#37) GitHub Pages #105: Commit 0d54dc3 pushed by hyperpolymath
1m 2s main
main
1m 2s
docs(readme): repair stale badges, version, link and counts (#35) GitHub Pages #104: Commit abb4ecd pushed by hyperpolymath
50s main
main
50s
GitHub Pages GitHub Pages #103: by hyperpolymath
2m 35s main
main
2m 35s
GitHub Pages GitHub Pages #102: by hyperpolymath
24m 37s main
main
24m 37s
fix: unbreak rust-ci Test job (clippy 1.95 + missing fields) (#38) GitHub Pages #101: Commit a9b23d8 pushed by hyperpolymath
25m 57s main
main
25m 57s
fix(ci): unred four workflows blocking every push since 2026-05-23 (#34) GitHub Pages #100: Commit 4e129ac pushed by hyperpolymath
24m 36s main
main
24m 36s
Update issue templates GitHub Pages #99: Commit caa407f pushed by hyperpolymath
37m 16s main
main
37m 16s
chore(deps): bump serde_json in the rust-minor group (#30) GitHub Pages #98: Commit 14d1290 pushed by hyperpolymath
24m 8s main
main
24m 8s
chore: migrate license from PMPL-1.0-or-later to MPL-2.0 GitHub Pages #97: Commit 136b38b pushed by hyperpolymath
4h 34m 11s main
main
4h 34m 11s
chore(deps): bump the rust-minor group with 2 updates (#25) GitHub Pages #96: Commit d89cb0c pushed by hyperpolymath
12h 24m 13s main
main
12h 24m 13s