Skip to content

Actions: hyperpolymath/atsiser

Actions

Hypatia Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hypatia-scan.yml
138 workflow runs
138 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 Layer 4: prove the FFI result-code seam is injective + faithful (… Hypatia Security Scan #138: Commit 87aad80 pushed by hyperpolymath
19s main
main
19s
ABI Layer 4: prove the FFI result-code seam is injective + faithful Hypatia Security Scan #137: Pull request #46 synchronize by hyperpolymath
29s claude/new-session-znxgm7
claude/new-session-znxgm7
29s
ABI Layer 3: transition soundness of linear free (state + address p… Hypatia Security Scan #136: Commit 38ac343 pushed by hyperpolymath
29s main
main
29s
ABI Layer 3: transition soundness of linear free (state + address preservation) Hypatia Security Scan #135: Pull request #45 synchronize by hyperpolymath
39s claude/new-session-znxgm7
claude/new-session-znxgm7
39s
Hypatia Security Scan Hypatia Security Scan #134: Scheduled
21s main
main
21s
ABI Layer 2: prove linear-pointer memory safety (no use-after-free/do… Hypatia Security Scan #133: Commit 4ad7cb3 pushed by hyperpolymath
26s main
main
26s
ABI Layer 2: prove linear-pointer memory safety (no use-after-free/double-free) — flagship Idris2 proof Hypatia Security Scan #132: Pull request #44 opened by hyperpolymath
28s claude/new-session-znxgm7
claude/new-session-znxgm7
28s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#43) Hypatia Security Scan #131: Commit 04b3009 pushed by hyperpolymath
6m 44s main
main
6m 44s
ci: refresh standards reusable pins to current HEAD (d7c2271) Hypatia Security Scan #130: Pull request #43 opened by hyperpolymath
3m 13s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
3m 13s
P1: implement real Zig FFI matching the Idris2 ABI (#42) Hypatia Security Scan #129: Commit 458701d pushed by hyperpolymath
59s main
main
59s
P1: implement real Zig FFI matching the Idris2 ABI Hypatia Security Scan #128: Pull request #42 opened by hyperpolymath
48s claude/new-session-1fphit
claude/new-session-1fphit
48s
Auto-install pinned Zig toolchain in setup + devcontainer (#41) Hypatia Security Scan #127: Commit 6fe9694 pushed by hyperpolymath
42s main
main
42s
Auto-install pinned Zig toolchain in setup + devcontainer Hypatia Security Scan #126: Pull request #41 opened by hyperpolymath
37s claude/new-session-1fphit
claude/new-session-1fphit
37s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… Hypatia Security Scan #125: Commit b3caa84 pushed by hyperpolymath
58s main
main
58s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems Hypatia Security Scan #124: Pull request #40 synchronize by hyperpolymath
42s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
42s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems Hypatia Security Scan #123: Pull request #40 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) (#39) Hypatia Security Scan #122: Commit 9ce2805 pushed by hyperpolymath
3m 1s main
main
3m 1s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) Hypatia Security Scan #121: Pull request #39 opened by hyperpolymath
1m 51s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 51s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… Hypatia Security Scan #120: Commit 15b859c pushed by hyperpolymath
24m 21s main
main
24m 21s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health) Hypatia Security Scan #119: Pull request #38 opened by hyperpolymath
24m 27s fix/readme-adoc-to-markdown
fix/readme-adoc-to-markdown
24m 27s
chore(ci): add dormant push-email notification workflow (#37) Hypatia Security Scan #118: Commit 67eaa56 pushed by hyperpolymath
16h 46m 5s main
main
16h 46m 5s
chore(ci): add dormant push-email notification workflow Hypatia Security Scan #117: Pull request #37 opened by hyperpolymath
14h 43m 43s chore/push-email-notify
chore/push-email-notify
14h 43m 43s
chore(clade): backfill [status] lifecycle block (#36) Hypatia Security Scan #116: Commit 056af44 pushed by hyperpolymath
14h 18m 55s main
main
14h 18m 55s
chore(clade): backfill [status] lifecycle block Hypatia Security Scan #115: Pull request #36 opened by hyperpolymath
13h 46m 53s chore/clade-status-backfill
chore/clade-status-backfill
13h 46m 53s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … Hypatia Security Scan #114: Commit ab40d1d pushed by hyperpolymath
9h 11m 26s main
main
9h 11m 26s