Skip to content

Actions: hyperpolymath/a2mliser

Actions

Hypatia Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hypatia-scan.yml
136 workflow runs
136 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 #136: Scheduled
28s main
main
28s
fix(ci): grant secret-scanner reusable its requested job permissions … Hypatia Security Scan #135: Commit e185099 pushed by hyperpolymath
21s main
main
21s
fix(ci): grant secret-scanner reusable its requested job permissions Hypatia Security Scan #134: Pull request #44 opened by hyperpolymath
22s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
22s
fix(ci): clear OSSF Scorecard startup_failure (#43) Hypatia Security Scan #133: Commit 9e7ae73 pushed by hyperpolymath
53m 45s main
main
53m 45s
fix(ci): clear OSSF Scorecard startup_failure Hypatia Security Scan #132: Pull request #43 opened by hyperpolymath
30s fix/scorecard-caller-startup
fix/scorecard-caller-startup
30s
Hypatia Security Scan Hypatia Security Scan #131: Scheduled
26s main
main
26s
fix(clade): correct identity uuid (deterministic v5) (#42) Hypatia Security Scan #130: Commit d266710 pushed by hyperpolymath
50s main
main
50s
fix(clade): correct identity uuid (deterministic v5) Hypatia Security Scan #129: Pull request #42 opened by hyperpolymath
39s fix/clade-uuid
fix/clade-uuid
39s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… Hypatia Security Scan #128: Commit c2bdb0b pushed by hyperpolymath
27s main
main
27s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate Hypatia Security Scan #127: Pull request #41 synchronize by hyperpolymath
23s claude/new-session-znxgm7
claude/new-session-znxgm7
23s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate Hypatia Security Scan #126: Pull request #41 opened by hyperpolymath
27s claude/new-session-znxgm7
claude/new-session-znxgm7
27s
ABI Layer 5: end-to-end soundness capstone certificate (#40) Hypatia Security Scan #125: Commit 6ebff5a pushed by hyperpolymath
21s main
main
21s
ABI Layer 5: end-to-end soundness capstone certificate Hypatia Security Scan #124: Pull request #40 synchronize by hyperpolymath
26s claude/new-session-znxgm7
claude/new-session-znxgm7
26s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Hypatia Security Scan #123: Commit 2127e18 pushed by hyperpolymath
25s main
main
25s
ABI Layer 4: prove the FFI result-code seam is injective + faithful Hypatia Security Scan #122: Pull request #39 synchronize by hyperpolymath
27s claude/new-session-znxgm7
claude/new-session-znxgm7
27s
ABI Layer 3: attestation determinism, idempotence + issue→verify roun… Hypatia Security Scan #121: Commit 8b97dda pushed by hyperpolymath
45s main
main
45s
ABI Layer 3: attestation determinism, idempotence + issue→verify round-trip Hypatia Security Scan #120: Pull request #38 synchronize by hyperpolymath
36s claude/new-session-znxgm7
claude/new-session-znxgm7
36s
Hypatia Security Scan Hypatia Security Scan #119: Scheduled
20s main
main
20s
ABI Layer 2: prove attestation binding soundness (tamper-evidence) — … Hypatia Security Scan #118: Commit 8af3b8c pushed by hyperpolymath
21s main
main
21s
ABI Layer 2: prove attestation binding soundness (tamper-evidence) — flagship Idris2 proof Hypatia Security Scan #117: Pull request #37 opened by hyperpolymath
21s claude/new-session-znxgm7
claude/new-session-znxgm7
21s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#36) Hypatia Security Scan #116: Commit ccdc0d4 pushed by hyperpolymath
52s main
main
52s
ci: refresh standards reusable pins to current HEAD (d7c2271) Hypatia Security Scan #115: Pull request #36 opened by hyperpolymath
44s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
44s
ci: add ABI↔FFI conformance gate (#35) Hypatia Security Scan #114: Commit de24586 pushed by hyperpolymath
30s main
main
30s
ci: add ABI↔FFI conformance gate Hypatia Security Scan #113: Pull request #35 opened by hyperpolymath
33s claude/new-session-1fphit
claude/new-session-1fphit
33s
Auto-install pinned Zig toolchain in setup + devcontainer (#34) Hypatia Security Scan #112: Commit 4160608 pushed by hyperpolymath
1m 23s main
main
1m 23s