Skip to content

Actions: hyperpolymath/halideiser

Actions

Hypatia Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hypatia-scan.yml
140 workflow runs
140 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 #140: Commit ab6116e pushed by hyperpolymath
3h 9m 56s main
main
3h 9m 56s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Hypatia Security Scan #139: Pull request #45 opened by hyperpolymath
26m 48s fix/governance-gate-sweep
fix/governance-gate-sweep
26m 48s
security: re-pin secret scanner onto the real gitleaks gate (#44) Hypatia Security Scan #138: Commit ec8ee09 pushed by hyperpolymath
9m 13s main
main
9m 13s
security: re-pin secret scanner onto the real gitleaks gate Hypatia Security Scan #137: Pull request #44 opened by hyperpolymath
3m 8s security/real-secret-gate
security/real-secret-gate
3m 8s
Hypatia Security Scan Hypatia Security Scan #136: Scheduled
28s main
main
28s
Hypatia Security Scan Hypatia Security Scan #135: Scheduled
21s main
main
21s
ci: Secret Scanner caller must grant the reusable's job permissions (… Hypatia Security Scan #134: Commit 13d0e80 pushed by hyperpolymath
21m 23s main
main
21m 23s
ci: Secret Scanner caller must grant the reusable's job permissions Hypatia Security Scan #133: Pull request #43 opened by hyperpolymath
28s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
28s
fix(ci): clear OSSF Scorecard startup_failure (#42) Hypatia Security Scan #132: Commit c763d82 pushed by hyperpolymath
52m 10s main
main
52m 10s
fix(ci): clear OSSF Scorecard startup_failure Hypatia Security Scan #131: Pull request #42 opened by hyperpolymath
3m 49s fix/scorecard-caller-startup
fix/scorecard-caller-startup
3m 49s
Hypatia Security Scan Hypatia Security Scan #130: Scheduled
21s main
main
21s
fix(clade): correct identity uuid (deterministic v5) (#41) Hypatia Security Scan #129: Commit 312ce8f pushed by hyperpolymath
3m 10s main
main
3m 10s
fix(clade): correct identity uuid (deterministic v5) Hypatia Security Scan #128: Pull request #41 opened by hyperpolymath
3m 16s fix/clade-uuid
fix/clade-uuid
3m 16s
ci: make CI genuinely green — rust-ci toolchain pin (#40) Hypatia Security Scan #127: Commit 2d8a1cf pushed by hyperpolymath
25s main
main
25s
ci: make CI genuinely green — rust-ci toolchain pin Hypatia Security Scan #126: Pull request #40 synchronize by hyperpolymath
26s claude/new-session-znxgm7
claude/new-session-znxgm7
26s
ci: make CI genuinely green — rust-ci toolchain pin Hypatia Security Scan #125: Pull request #40 opened by hyperpolymath
27s claude/new-session-znxgm7
claude/new-session-znxgm7
27s
ABI Layer 5: end-to-end soundness capstone certificate (#39) Hypatia Security Scan #124: Commit 1c0b550 pushed by hyperpolymath
22s main
main
22s
ABI Layer 5: end-to-end soundness capstone certificate Hypatia Security Scan #123: Pull request #39 synchronize by hyperpolymath
28s claude/new-session-znxgm7
claude/new-session-znxgm7
28s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Hypatia Security Scan #122: Commit 0088171 pushed by hyperpolymath
20s main
main
20s
ABI Layer 4: prove the FFI result-code seam is injective + faithful Hypatia Security Scan #121: Pull request #38 synchronize by hyperpolymath
20s claude/new-session-znxgm7
claude/new-session-znxgm7
20s
ABI Layer 3: schedule equivalence is an equivalence relation (reflexi… Hypatia Security Scan #120: Commit 8544be8 pushed by hyperpolymath
1m 46s main
main
1m 46s
ABI Layer 3: schedule equivalence is an equivalence relation (reflexive/symmetric/transitive) Hypatia Security Scan #119: Pull request #37 synchronize by hyperpolymath
19s claude/new-session-znxgm7
claude/new-session-znxgm7
19s
Hypatia Security Scan Hypatia Security Scan #118: Scheduled
23s main
main
23s
feat(abi): prove schedule equivalence for loop split (Layer 2) (#36) Hypatia Security Scan #117: Commit 7e3f5ee pushed by hyperpolymath
29s main
main
29s
ABI Layer 2: prove schedule equivalence (loop split) — flagship Idris2 proof Hypatia Security Scan #116: Pull request #36 opened by hyperpolymath
29s claude/new-session-znxgm7
claude/new-session-znxgm7
29s