Skip to content

Actions: hyperpolymath/anvomidaviser

Actions

Hypatia Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hypatia-scan.yml
150 workflow runs
150 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 #150: Commit debd9ef pushed by hyperpolymath
3h 19m 46s main
main
3h 19m 46s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Hypatia Security Scan #149: Pull request #50 opened by hyperpolymath
3m 28s fix/governance-gate-sweep
fix/governance-gate-sweep
3m 28s
security: re-pin secret scanner onto the real gitleaks gate (#49) Hypatia Security Scan #148: Commit 1888a93 pushed by hyperpolymath
1m 38s main
main
1m 38s
security: re-pin secret scanner onto the real gitleaks gate Hypatia Security Scan #147: Pull request #49 opened by hyperpolymath
37s security/real-secret-gate
security/real-secret-gate
37s
Hypatia Security Scan Hypatia Security Scan #146: Scheduled
29s main
main
29s
Hypatia Security Scan Hypatia Security Scan #145: Scheduled
25s main
main
25s
ci: Secret Scanner caller must grant the reusable's job permissions (… Hypatia Security Scan #144: Commit c04b48e pushed by hyperpolymath
34m 5s main
main
34m 5s
ci: Secret Scanner caller must grant the reusable's job permissions Hypatia Security Scan #143: Pull request #48 opened by hyperpolymath
23s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
23s
fix(ci): clear OSSF Scorecard startup_failure (#47) Hypatia Security Scan #142: Commit 177061b pushed by hyperpolymath
35s main
main
35s
fix(ci): clear OSSF Scorecard startup_failure Hypatia Security Scan #141: Pull request #47 opened by hyperpolymath
30s fix/scorecard-caller-startup
fix/scorecard-caller-startup
30s
Hypatia Security Scan Hypatia Security Scan #140: Scheduled
20s main
main
20s
fix(clade): correct identity uuid (deterministic v5) (#46) Hypatia Security Scan #139: Commit d8b9fca pushed by hyperpolymath
53s main
main
53s
fix(clade): correct identity uuid (deterministic v5) Hypatia Security Scan #138: Pull request #46 opened by hyperpolymath
50s fix/clade-uuid
fix/clade-uuid
50s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy (#45) Hypatia Security Scan #137: Commit 2c3dc9e pushed by hyperpolymath
20s main
main
20s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy Hypatia Security Scan #136: Pull request #45 synchronize by hyperpolymath
19s claude/new-session-znxgm7
claude/new-session-znxgm7
19s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy Hypatia Security Scan #135: Pull request #45 opened by hyperpolymath
26s claude/new-session-znxgm7
claude/new-session-znxgm7
26s
ABI Layer 5: end-to-end soundness capstone certificate (#44) Hypatia Security Scan #134: Commit 04e9331 pushed by hyperpolymath
20s main
main
20s
ABI Layer 5: end-to-end soundness capstone certificate Hypatia Security Scan #133: Pull request #44 synchronize by hyperpolymath
27s claude/new-session-znxgm7
claude/new-session-znxgm7
27s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Hypatia Security Scan #132: Commit 0d7b247 pushed by hyperpolymath
27s main
main
27s
ABI Layer 4: prove the FFI result-code seam is injective + faithful Hypatia Security Scan #131: Pull request #43 synchronize by hyperpolymath
21s claude/new-session-znxgm7
claude/new-session-znxgm7
21s
ABI Layer 3: downward-closure of ISU well-formedness under element de… Hypatia Security Scan #130: Commit 7d3668b pushed by hyperpolymath
28s main
main
28s
ABI Layer 3: downward-closure of ISU well-formedness under element deletion Hypatia Security Scan #129: Pull request #42 synchronize by hyperpolymath
25s claude/new-session-znxgm7
claude/new-session-znxgm7
25s
Hypatia Security Scan Hypatia Security Scan #128: Scheduled
23s main
main
23s
ABI Layer 2: prove ISU short-program well-formedness — flagship Idris… Hypatia Security Scan #127: Commit 7342734 pushed by hyperpolymath
26s main
main
26s
ABI Layer 2: prove ISU short-program well-formedness — flagship Idris2 proof Hypatia Security Scan #126: Pull request #41 opened by hyperpolymath
26s claude/new-session-znxgm7
claude/new-session-znxgm7
26s