Skip to content

Actions: hyperpolymath/futharkiser

Actions

Hypatia Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hypatia-scan.yml
146 workflow runs
146 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 #146: Commit 4445431 pushed by hyperpolymath
3h 7m 2s main
main
3h 7m 2s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Hypatia Security Scan #145: Pull request #49 opened by hyperpolymath
26m 19s fix/governance-gate-sweep
fix/governance-gate-sweep
26m 19s
security: re-pin secret scanner onto the real gitleaks gate (#48) Hypatia Security Scan #144: Commit 86343ce pushed by hyperpolymath
8m 58s main
main
8m 58s
security: re-pin secret scanner onto the real gitleaks gate Hypatia Security Scan #143: Pull request #48 opened by hyperpolymath
3m 38s security/real-secret-gate
security/real-secret-gate
3m 38s
Hypatia Security Scan Hypatia Security Scan #142: Scheduled
28s main
main
28s
Hypatia Security Scan Hypatia Security Scan #141: Scheduled
23s main
main
23s
ci: Secret Scanner caller must grant the reusable's job permissions (… Hypatia Security Scan #140: Commit bc86f5e pushed by hyperpolymath
29m 10s main
main
29m 10s
ci: Secret Scanner caller must grant the reusable's job permissions Hypatia Security Scan #139: Pull request #47 opened by hyperpolymath
24s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
24s
fix(ci): clear OSSF Scorecard startup_failure (#46) Hypatia Security Scan #138: Commit 1b8bff1 pushed by hyperpolymath
51m 58s main
main
51m 58s
fix(ci): clear OSSF Scorecard startup_failure Hypatia Security Scan #137: Pull request #46 opened by hyperpolymath
3m 34s fix/scorecard-caller-startup
fix/scorecard-caller-startup
3m 34s
Hypatia Security Scan Hypatia Security Scan #136: Scheduled
20s main
main
20s
fix(clade): correct identity uuid (deterministic v5) (#45) Hypatia Security Scan #135: Commit b6663e2 pushed by hyperpolymath
1m 26s main
main
1m 26s
fix(clade): correct identity uuid (deterministic v5) Hypatia Security Scan #134: Pull request #45 opened by hyperpolymath
1m 32s fix/clade-uuid
fix/clade-uuid
1m 32s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy (#44) Hypatia Security Scan #133: Commit 017b6cc pushed by hyperpolymath
26s main
main
26s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy Hypatia Security Scan #132: Pull request #44 synchronize by hyperpolymath
28s claude/new-session-znxgm7
claude/new-session-znxgm7
28s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy Hypatia Security Scan #131: Pull request #44 opened by hyperpolymath
21s claude/new-session-znxgm7
claude/new-session-znxgm7
21s
ABI Layer 5: end-to-end soundness capstone certificate (#43) Hypatia Security Scan #130: Commit bf39d4b pushed by hyperpolymath
24s main
main
24s
ABI Layer 5: end-to-end soundness capstone certificate Hypatia Security Scan #129: Pull request #43 synchronize by hyperpolymath
23s claude/new-session-znxgm7
claude/new-session-znxgm7
23s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Hypatia Security Scan #128: Commit c7d5d14 pushed by hyperpolymath
31s main
main
31s
ABI Layer 4: prove the FFI result-code seam is injective + faithful Hypatia Security Scan #127: Pull request #42 synchronize by hyperpolymath
28s claude/new-session-znxgm7
claude/new-session-znxgm7
28s
ABI Layer 3: cross-SOAC map/zipWith fusion law (#41) Hypatia Security Scan #126: Commit 5416e5e pushed by hyperpolymath
58s main
main
58s
ABI Layer 3: cross-SOAC map/zipWith fusion law Hypatia Security Scan #125: Pull request #41 synchronize by hyperpolymath
27s claude/new-session-znxgm7
claude/new-session-znxgm7
27s
Hypatia Security Scan Hypatia Security Scan #124: Scheduled
21s main
main
21s
Add Semantics module: prove Futhark map-fusion law (ABI Layer 2) (#40) Hypatia Security Scan #123: Commit 88732af pushed by hyperpolymath
22s main
main
22s
ABI Layer 2: prove the map-fusion law on length-indexed vectors — flagship Idris2 proof Hypatia Security Scan #122: Pull request #40 opened by hyperpolymath
28s claude/new-session-znxgm7
claude/new-session-znxgm7
28s