Skip to content

Actions: hyperpolymath/wokelangiser

Actions

Hypatia Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hypatia-scan.yml
169 workflow runs
169 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 #169: Commit ba14fff pushed by hyperpolymath
2h 36m 51s main
main
2h 36m 51s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Hypatia Security Scan #168: Pull request #60 opened by hyperpolymath
2h 0m 52s fix/governance-gate-sweep
fix/governance-gate-sweep
2h 0m 52s
security: re-pin secret scanner onto the real gitleaks gate (#59) Hypatia Security Scan #167: Commit 2760395 pushed by hyperpolymath
35m 38s main
main
35m 38s
security: re-pin secret scanner onto the real gitleaks gate Hypatia Security Scan #166: Pull request #59 opened by hyperpolymath
41m 30s security/real-secret-gate
security/real-secret-gate
41m 30s
Hypatia Security Scan Hypatia Security Scan #165: Scheduled
23s main
main
23s
Hypatia Security Scan Hypatia Security Scan #164: Scheduled
21s main
main
21s
fix(ci): clear OSSF Scorecard startup_failure (#58) Hypatia Security Scan #163: Commit 58c50a5 pushed by hyperpolymath
34m 44s main
main
34m 44s
fix(ci): clear OSSF Scorecard startup_failure Hypatia Security Scan #162: Pull request #58 opened by hyperpolymath
25m 15s fix/scorecard-caller-startup
fix/scorecard-caller-startup
25m 15s
Hypatia Security Scan Hypatia Security Scan #161: Scheduled
20s main
main
20s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy (#57) Hypatia Security Scan #160: Commit d024028 pushed by hyperpolymath
31s main
main
31s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy Hypatia Security Scan #159: Pull request #57 synchronize by hyperpolymath
22s claude/new-session-znxgm7
claude/new-session-znxgm7
22s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy Hypatia Security Scan #158: Pull request #57 opened by hyperpolymath
26s claude/new-session-znxgm7
claude/new-session-znxgm7
26s
ABI Layer 5: end-to-end soundness capstone certificate (#56) Hypatia Security Scan #157: Commit a24a2cf pushed by hyperpolymath
19s main
main
19s
ABI Layer 5: end-to-end soundness capstone certificate Hypatia Security Scan #156: Pull request #56 synchronize by hyperpolymath
20s claude/new-session-znxgm7
claude/new-session-znxgm7
20s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Hypatia Security Scan #155: Commit 4e6560c pushed by hyperpolymath
21s main
main
21s
ABI Layer 4: prove the FFI result-code seam is injective + faithful Hypatia Security Scan #154: Pull request #55 synchronize by hyperpolymath
30s claude/new-session-znxgm7
claude/new-session-znxgm7
30s
ABI Layer 3: consent withdrawal (revocation removes permission) (#54) Hypatia Security Scan #153: Commit de7135c pushed by hyperpolymath
32s main
main
32s
ABI Layer 3: consent withdrawal (revocation removes permission) Hypatia Security Scan #152: Pull request #54 synchronize by hyperpolymath
19s claude/new-session-znxgm7
claude/new-session-znxgm7
19s
Hypatia Security Scan Hypatia Security Scan #151: Scheduled
22s main
main
22s
ABI Layer 2: prove consent-gated data actions — flagship Idris2 proof… Hypatia Security Scan #150: Commit f5025ed pushed by hyperpolymath
37s main
main
37s
ABI Layer 2: prove consent-gated data actions — flagship Idris2 proof Hypatia Security Scan #149: Pull request #53 opened by hyperpolymath
1m 12s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 12s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#52) Hypatia Security Scan #148: Commit bd99b31 pushed by hyperpolymath
2h 35m 31s main
main
2h 35m 31s
ci: refresh standards reusable pins to current HEAD (d7c2271) Hypatia Security Scan #147: Pull request #52 opened by hyperpolymath
2h 35m 25s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
2h 35m 25s
P1: fix Zig FFI to build and match the Idris2 ABI (#51) Hypatia Security Scan #146: Commit 77eb4b8 pushed by hyperpolymath
1m 15s main
main
1m 15s
P1: fix Zig FFI to build and match the Idris2 ABI Hypatia Security Scan #145: Pull request #51 opened by hyperpolymath
33s claude/new-session-1fphit
claude/new-session-1fphit
33s