Skip to content

Actions: hyperpolymath/ponyiser

Actions

Hypatia Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hypatia-scan.yml
134 workflow runs
134 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
Hypatia Security Scan Hypatia Security Scan #134: Scheduled
29s main
main
29s
Hypatia Security Scan Hypatia Security Scan #133: Scheduled
24s main
main
24s
ci: Secret Scanner caller must grant the reusable's job permissions (… Hypatia Security Scan #132: Commit 6656efe pushed by hyperpolymath
14m 26s main
main
14m 26s
ci: Secret Scanner caller must grant the reusable's job permissions Hypatia Security Scan #131: Pull request #42 opened by hyperpolymath
2m 43s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
2m 43s
fix(ci): clear OSSF Scorecard startup_failure (#41) Hypatia Security Scan #130: Commit 0aec31a pushed by hyperpolymath
43m 57s main
main
43m 57s
fix(ci): clear OSSF Scorecard startup_failure Hypatia Security Scan #129: Pull request #41 opened by hyperpolymath
6m 54s fix/scorecard-caller-startup
fix/scorecard-caller-startup
6m 54s
Hypatia Security Scan Hypatia Security Scan #128: Scheduled
28s main
main
28s
fix(clade): correct identity uuid (deterministic v5) (#40) Hypatia Security Scan #127: Commit 28091c5 pushed by hyperpolymath
7m 26s main
main
7m 26s
fix(clade): correct identity uuid (deterministic v5) Hypatia Security Scan #126: Pull request #40 opened by hyperpolymath
7m 21s fix/clade-uuid
fix/clade-uuid
7m 21s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… Hypatia Security Scan #125: Commit 015295b pushed by hyperpolymath
19s main
main
19s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate + fmt/clippy Hypatia Security Scan #124: Pull request #39 opened by hyperpolymath
23s claude/new-session-znxgm7
claude/new-session-znxgm7
23s
ABI Layer 5: end-to-end soundness capstone certificate (#38) Hypatia Security Scan #123: Commit 66f3eb5 pushed by hyperpolymath
20s main
main
20s
ABI Layer 5: end-to-end soundness capstone certificate Hypatia Security Scan #122: Pull request #38 synchronize by hyperpolymath
19s claude/new-session-znxgm7
claude/new-session-znxgm7
19s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Hypatia Security Scan #121: Commit 680950d pushed by hyperpolymath
20s main
main
20s
ABI Layer 4: prove the FFI result-code seam is injective + faithful Hypatia Security Scan #120: Pull request #37 synchronize by hyperpolymath
26s claude/new-session-znxgm7
claude/new-session-znxgm7
26s
ABI Layer 3: immutable-aliasing soundness (read-compatibility reflexi… Hypatia Security Scan #119: Commit bf22b35 pushed by hyperpolymath
28s main
main
28s
ABI Layer 3: immutable-aliasing soundness (read-compatibility reflexivity) Hypatia Security Scan #118: Pull request #36 synchronize by hyperpolymath
20s claude/new-session-znxgm7
claude/new-session-znxgm7
20s
Hypatia Security Scan Hypatia Security Scan #117: Scheduled
23s main
main
23s
abi: prove aliasing-compatibility soundness (Ponyiser.ABI.Semantics) … Hypatia Security Scan #116: Commit 3eabf5a pushed by hyperpolymath
39s main
main
39s
ABI Layer 2: prove reference-capability aliasing soundness — flagship Idris2 proof Hypatia Security Scan #115: Pull request #35 opened by hyperpolymath
30s claude/new-session-znxgm7
claude/new-session-znxgm7
30s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#34) Hypatia Security Scan #114: Commit cdc772c pushed by hyperpolymath
1h 52m 4s main
main
1h 52m 4s
ci: refresh standards reusable pins to current HEAD (d7c2271) Hypatia Security Scan #113: Pull request #34 opened by hyperpolymath
1h 52m 0s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1h 52m 0s
ci: add ABI↔FFI conformance gate (#33) Hypatia Security Scan #112: Commit 886b81e pushed by hyperpolymath
41s main
main
41s
ci: add ABI↔FFI conformance gate Hypatia Security Scan #111: Pull request #33 opened by hyperpolymath
38s claude/new-session-1fphit
claude/new-session-1fphit
38s
Auto-install pinned Zig toolchain in setup + devcontainer (#32) Hypatia Security Scan #110: Commit 2571d1d pushed by hyperpolymath
6m 47s main
main
6m 47s