Skip to content

Actions: hyperpolymath/phronesiser

Actions

Hypatia Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hypatia-scan.yml
138 workflow runs
138 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 #138: Commit b3757ea pushed by hyperpolymath
2h 55m 40s main
main
2h 55m 40s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Hypatia Security Scan #137: Pull request #42 opened by hyperpolymath
1h 6m 0s fix/governance-gate-sweep
fix/governance-gate-sweep
1h 6m 0s
security: re-pin secret scanner onto the real gitleaks gate (#41) Hypatia Security Scan #136: Commit dd0f564 pushed by hyperpolymath
27m 26s main
main
27m 26s
security: re-pin secret scanner onto the real gitleaks gate Hypatia Security Scan #135: Pull request #41 opened by hyperpolymath
11m 25s security/real-secret-gate
security/real-secret-gate
11m 25s
Hypatia Security Scan Hypatia Security Scan #134: Scheduled
26s main
main
26s
Hypatia Security Scan Hypatia Security Scan #133: Scheduled
25s main
main
25s
ci: Secret Scanner caller must grant the reusable's job permissions (… Hypatia Security Scan #132: Commit bef19ee pushed by hyperpolymath
13m 8s main
main
13m 8s
ci: Secret Scanner caller must grant the reusable's job permissions Hypatia Security Scan #131: Pull request #40 opened by hyperpolymath
2m 43s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
2m 43s
fix(ci): clear OSSF Scorecard startup_failure (#39) Hypatia Security Scan #130: Commit c0d8462 pushed by hyperpolymath
46m 40s main
main
46m 40s
fix(ci): clear OSSF Scorecard startup_failure Hypatia Security Scan #129: Pull request #39 opened by hyperpolymath
6m 2s fix/scorecard-caller-startup
fix/scorecard-caller-startup
6m 2s
Hypatia Security Scan Hypatia Security Scan #128: Scheduled
26s main
main
26s
fix(clade): correct identity uuid (deterministic v5) (#38) Hypatia Security Scan #127: Commit 048e21c pushed by hyperpolymath
7m 31s main
main
7m 31s
fix(clade): correct identity uuid (deterministic v5) Hypatia Security Scan #126: Pull request #38 opened by hyperpolymath
7m 38s fix/clade-uuid
fix/clade-uuid
7m 38s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… Hypatia Security Scan #125: Commit 5093644 pushed by hyperpolymath
21s main
main
21s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate + fmt/clippy Hypatia Security Scan #124: Pull request #37 synchronize by hyperpolymath
34s claude/new-session-znxgm7
claude/new-session-znxgm7
34s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate + fmt/clippy Hypatia Security Scan #123: Pull request #37 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 + fmt/clippy Hypatia Security Scan #122: Pull request #37 opened by hyperpolymath
22s claude/new-session-znxgm7
claude/new-session-znxgm7
22s
ABI Layer 5: end-to-end soundness capstone certificate (#36) Hypatia Security Scan #121: Commit c97ba30 pushed by hyperpolymath
30s main
main
30s
ABI Layer 5: end-to-end soundness capstone certificate Hypatia Security Scan #120: Pull request #36 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 #119: Commit 039fe39 pushed by hyperpolymath
20s main
main
20s
ABI Layer 4: prove the FFI result-code seam is injective + faithful Hypatia Security Scan #118: Pull request #35 synchronize by hyperpolymath
20s claude/new-session-znxgm7
claude/new-session-znxgm7
20s
ABI Layer 3: monotone safety under policy composition (#34) Hypatia Security Scan #117: Commit 9d8062b pushed by hyperpolymath
3m 41s main
main
3m 41s
ABI Layer 3: monotone safety under policy composition Hypatia Security Scan #116: Pull request #34 synchronize by hyperpolymath
44s claude/new-session-znxgm7
claude/new-session-znxgm7
44s
Hypatia Security Scan Hypatia Security Scan #115: Scheduled
20s main
main
20s
ABI Layer 2: prove forbidden actions are never permitted (ethical saf… Hypatia Security Scan #114: Commit 1a0ad20 pushed by hyperpolymath
19s main
main
19s