Skip to content

Actions: hyperpolymath/alloyiser

Actions

Hypatia Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hypatia-scan.yml
154 workflow runs
154 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
ci: add ABI↔FFI conformance gate (#41) Hypatia Security Scan #129: Commit fa43c23 pushed by hyperpolymath
31s main
main
31s
ci: add ABI↔FFI conformance gate Hypatia Security Scan #128: Pull request #41 opened by hyperpolymath
31s claude/new-session-1fphit
claude/new-session-1fphit
31s
chore: remove accidentally committed Zig build cache + gitignore it (… Hypatia Security Scan #127: Commit ea642f2 pushed by hyperpolymath
2m 9s main
main
2m 9s
chore: remove accidentally committed Zig build cache + gitignore it Hypatia Security Scan #126: Pull request #40 opened by hyperpolymath
1m 49s claude/new-session-1fphit
claude/new-session-1fphit
1m 49s
P1: implement real Zig FFI matching the Idris2 ABI (#39) Hypatia Security Scan #125: Commit ec9c6a9 pushed by hyperpolymath
32s main
main
32s
P1: implement real Zig FFI matching the Idris2 ABI Hypatia Security Scan #124: Pull request #39 opened by hyperpolymath
29s claude/new-session-1fphit
claude/new-session-1fphit
29s
Auto-install pinned Zig toolchain in setup + devcontainer (#38) Hypatia Security Scan #123: Commit ab8fabc pushed by hyperpolymath
2m 0s main
main
2m 0s
Auto-install pinned Zig toolchain in setup + devcontainer Hypatia Security Scan #122: Pull request #38 opened by hyperpolymath
29s claude/new-session-1fphit
claude/new-session-1fphit
29s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… Hypatia Security Scan #121: Commit 6667aa1 pushed by hyperpolymath
2m 32s main
main
2m 32s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems Hypatia Security Scan #120: Pull request #37 synchronize by hyperpolymath
33s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
33s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems Hypatia Security Scan #119: Pull request #37 opened by hyperpolymath
39s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
39s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#36) Hypatia Security Scan #118: Commit 98604cc pushed by hyperpolymath
3m 38s main
main
3m 38s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) Hypatia Security Scan #117: Pull request #36 opened by hyperpolymath
1m 18s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 18s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… Hypatia Security Scan #116: Commit 891839c pushed by hyperpolymath
24m 46s main
main
24m 46s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health) Hypatia Security Scan #115: Pull request #35 opened by hyperpolymath
24m 51s fix/readme-adoc-to-markdown
fix/readme-adoc-to-markdown
24m 51s
chore(clade): backfill [status] lifecycle block (#33) Hypatia Security Scan #114: Commit d25a87d pushed by hyperpolymath
16h 59m 58s main
main
16h 59m 58s
chore(clade): backfill [status] lifecycle block Hypatia Security Scan #113: Pull request #33 synchronize by hyperpolymath
17h 0m 9s chore/clade-status-backfill
chore/clade-status-backfill
17h 0m 9s
chore(ci): add dormant push-email notification workflow (#34) Hypatia Security Scan #112: Commit 4708762 pushed by hyperpolymath
15h 57m 26s main
main
15h 57m 26s
chore(ci): add dormant push-email notification workflow Hypatia Security Scan #111: Pull request #34 opened by hyperpolymath
15h 33m 23s chore/push-email-notify
chore/push-email-notify
15h 33m 23s
chore(clade): backfill [status] lifecycle block Hypatia Security Scan #110: Pull request #33 opened by hyperpolymath
14h 18m 31s chore/clade-status-backfill
chore/clade-status-backfill
14h 18m 31s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … Hypatia Security Scan #109: Commit 1674eef pushed by hyperpolymath
8h 20m 7s main
main
8h 20m 7s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) Hypatia Security Scan #108: Pull request #32 opened by hyperpolymath
8h 19m 1s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
8h 19m 1s
chore(ci): bump standards reusable workflow pins (#31) Hypatia Security Scan #107: Commit 8e0a812 pushed by hyperpolymath
17m 41s main
main
17m 41s
chore(ci): bump standards reusable workflow pins Hypatia Security Scan #106: Pull request #31 opened by hyperpolymath
17m 41s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
17m 41s
chore(nix->guix): remove flake.nix (Guix-only) (#30) Hypatia Security Scan #105: Commit 17f594b pushed by hyperpolymath
45m 30s main
main
45m 30s