Skip to content

Actions: hyperpolymath/futharkiser

Actions

Secret Scanner

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
secret-scanner.yml
135 workflow runs
135 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… Secret Scanner #135: Commit 4445431 pushed by hyperpolymath
3h 6m 0s main
main
3h 6m 0s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Secret Scanner #134: Pull request #49 opened by hyperpolymath
26m 8s fix/governance-gate-sweep
fix/governance-gate-sweep
26m 8s
security: re-pin secret scanner onto the real gitleaks gate (#48) Secret Scanner #133: Commit 86343ce pushed by hyperpolymath
10m 43s main
main
10m 43s
security: re-pin secret scanner onto the real gitleaks gate Secret Scanner #132: Pull request #48 opened by hyperpolymath
3m 35s security/real-secret-gate
security/real-secret-gate
3m 35s
ci: Secret Scanner caller must grant the reusable's job permissions (… Secret Scanner #131: Commit bc86f5e pushed by hyperpolymath
26m 42s main
main
26m 42s
ci: Secret Scanner caller must grant the reusable's job permissions Secret Scanner #130: Pull request #47 opened by hyperpolymath
14s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
14s
fix(ci): clear OSSF Scorecard startup_failure (#46) Secret Scanner #129: Commit 1b8bff1 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): clear OSSF Scorecard startup_failure Secret Scanner #128: Pull request #46 opened by hyperpolymath
Startup failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#45) Secret Scanner #127: Commit b6663e2 pushed by hyperpolymath
1s main
main
1s
fix(clade): correct identity uuid (deterministic v5) Secret Scanner #126: Pull request #45 opened by hyperpolymath
Startup failure fix/clade-uuid
fix/clade-uuid
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy (#44) Secret Scanner #125: Commit 017b6cc pushed by hyperpolymath
1s main
main
1s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy Secret Scanner #124: Pull request #44 synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy Secret Scanner #123: Pull request #44 opened by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#43) Secret Scanner #122: Commit bf39d4b pushed by hyperpolymath
1s main
main
1s
ABI Layer 5: end-to-end soundness capstone certificate Secret Scanner #121: Pull request #43 synchronize by hyperpolymath
1s claude/new-session-znxgm7
claude/new-session-znxgm7
1s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Secret Scanner #120: Commit c7d5d14 pushed by hyperpolymath
1s main
main
1s
ABI Layer 4: prove the FFI result-code seam is injective + faithful Secret Scanner #119: Pull request #42 synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 3: cross-SOAC map/zipWith fusion law (#41) Secret Scanner #118: Commit 5416e5e pushed by hyperpolymath
1s main
main
1s
ABI Layer 3: cross-SOAC map/zipWith fusion law Secret Scanner #117: Pull request #41 synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
Add Semantics module: prove Futhark map-fusion law (ABI Layer 2) (#40) Secret Scanner #116: Commit 88732af pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 2: prove the map-fusion law on length-indexed vectors — flagship Idris2 proof Secret Scanner #115: Pull request #40 opened by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ci: refresh standards reusable pins to current HEAD (d7c2271) (#39) Secret Scanner #114: Commit 3fa6ff2 pushed by hyperpolymath
1s main
main
1s
ci: refresh standards reusable pins to current HEAD (d7c2271) Secret Scanner #113: Pull request #39 opened by hyperpolymath
Startup failure ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
Startup failure
P1: fix Zig FFI to build and match the Idris2 ABI (#38) Secret Scanner #112: Commit 659af4a pushed by hyperpolymath
1s main
main
1s
P1: fix Zig FFI to build and match the Idris2 ABI Secret Scanner #111: Pull request #38 opened by hyperpolymath
1s claude/new-session-1fphit
claude/new-session-1fphit
1s