Skip to content

Actions: hyperpolymath/otpiser

Actions

Hypatia Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hypatia-scan.yml
142 workflow runs
142 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
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… Hypatia Security Scan #142: Commit 45e2f31 pushed by hyperpolymath
2h 56m 23s main
main
2h 56m 23s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Hypatia Security Scan #141: Pull request #44 opened by hyperpolymath
58m 11s fix/governance-gate-sweep
fix/governance-gate-sweep
58m 11s
security: re-pin secret scanner onto the real gitleaks gate (#43) Hypatia Security Scan #140: Commit 28a80ad pushed by hyperpolymath
22m 17s main
main
22m 17s
security: re-pin secret scanner onto the real gitleaks gate Hypatia Security Scan #139: Pull request #43 opened by hyperpolymath
6m 7s security/real-secret-gate
security/real-secret-gate
6m 7s
Hypatia Security Scan Hypatia Security Scan #138: Scheduled
21s main
main
21s
Hypatia Security Scan Hypatia Security Scan #137: Scheduled
25s main
main
25s
ci: Secret Scanner caller must grant the reusable's job permissions (… Hypatia Security Scan #136: Commit 91b250f pushed by hyperpolymath
14m 47s main
main
14m 47s
ci: Secret Scanner caller must grant the reusable's job permissions Hypatia Security Scan #135: Pull request #42 opened by hyperpolymath
1m 1s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
1m 1s
fix(ci): clear OSSF Scorecard startup_failure (#41) Hypatia Security Scan #134: Commit 22ed571 pushed by hyperpolymath
49m 6s main
main
49m 6s
fix(ci): clear OSSF Scorecard startup_failure Hypatia Security Scan #133: Pull request #41 opened by hyperpolymath
5m 8s fix/scorecard-caller-startup
fix/scorecard-caller-startup
5m 8s
Hypatia Security Scan Hypatia Security Scan #132: Scheduled
21s main
main
21s
fix(clade): correct identity uuid (deterministic v5) (#40) Hypatia Security Scan #131: Commit 0ca9a06 pushed by hyperpolymath
6m 32s main
main
6m 32s
fix(clade): correct identity uuid (deterministic v5) Hypatia Security Scan #130: Pull request #40 opened by hyperpolymath
6m 43s fix/clade-uuid
fix/clade-uuid
6m 43s
ci: make CI genuinely green — rust-ci toolchain pin (#39) Hypatia Security Scan #129: Commit 1c96c94 pushed by hyperpolymath
21s main
main
21s
ci: make CI genuinely green — rust-ci toolchain pin Hypatia Security Scan #128: Pull request #39 synchronize by hyperpolymath
19s claude/new-session-znxgm7
claude/new-session-znxgm7
19s
ci: make CI genuinely green — rust-ci toolchain pin Hypatia Security Scan #127: Pull request #39 opened by hyperpolymath
24s claude/new-session-znxgm7
claude/new-session-znxgm7
24s
ABI Layer 5: end-to-end soundness capstone certificate (#38) Hypatia Security Scan #126: Commit 4f44d46 pushed by hyperpolymath
20s main
main
20s
ABI Layer 5: end-to-end soundness capstone certificate Hypatia Security Scan #125: Pull request #38 synchronize by hyperpolymath
25s claude/new-session-znxgm7
claude/new-session-znxgm7
25s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Hypatia Security Scan #124: Commit 5d14cb4 pushed by hyperpolymath
22s main
main
22s
ABI Layer 4: prove the FFI result-code seam is injective + faithful Hypatia Security Scan #123: Pull request #37 synchronize by hyperpolymath
19s claude/new-session-znxgm7
claude/new-session-znxgm7
19s
ABI Layer 3: rest-for-one restart strategy (idempotence + child-set p… Hypatia Security Scan #122: Commit 625d2b3 pushed by hyperpolymath
2m 51s main
main
2m 51s
ABI Layer 3: rest-for-one restart strategy (idempotence + child-set preservation) Hypatia Security Scan #121: Pull request #36 synchronize by hyperpolymath
31s claude/new-session-znxgm7
claude/new-session-znxgm7
31s
Hypatia Security Scan Hypatia Security Scan #120: Scheduled
24s main
main
24s
abi: prove OneForOne restart invariant (Layer 2 semantic proof) (#35) Hypatia Security Scan #119: Commit ff14998 pushed by hyperpolymath
26s main
main
26s
ABI Layer 2: prove the one-for-one restart invariant — flagship Idris2 proof Hypatia Security Scan #118: Pull request #35 opened by hyperpolymath
26s claude/new-session-znxgm7
claude/new-session-znxgm7
26s