Skip to content

Actions: hyperpolymath/halideiser

Actions

Secret Scanner

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
secret-scanner.yml
129 workflow runs
129 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 #129: Commit ab6116e pushed by hyperpolymath
3h 7m 27s main
main
3h 7m 27s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Secret Scanner #128: Pull request #45 opened by hyperpolymath
27m 41s fix/governance-gate-sweep
fix/governance-gate-sweep
27m 41s
security: re-pin secret scanner onto the real gitleaks gate (#44) Secret Scanner #127: Commit ec8ee09 pushed by hyperpolymath
8m 47s main
main
8m 47s
security: re-pin secret scanner onto the real gitleaks gate Secret Scanner #126: Pull request #44 opened by hyperpolymath
3m 54s security/real-secret-gate
security/real-secret-gate
3m 54s
ci: Secret Scanner caller must grant the reusable's job permissions (… Secret Scanner #125: Commit 13d0e80 pushed by hyperpolymath
Startup failure main
main
Startup failure
Secret Scanner Secret Scanner #124: opened by hyperpolymath
Startup failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#42) Secret Scanner #123: Commit c763d82 pushed by hyperpolymath
Startup failure main
main
Startup failure
Secret Scanner Secret Scanner #122: opened by hyperpolymath
Startup failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#41) Secret Scanner #121: Commit 312ce8f pushed by hyperpolymath
Startup failure main
main
Startup failure
Secret Scanner Secret Scanner #120: opened by hyperpolymath
Startup failure fix/clade-uuid
fix/clade-uuid
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin (#40) Secret Scanner #119: Commit 2d8a1cf pushed by hyperpolymath
Startup failure main
main
Startup failure
Secret Scanner Secret Scanner #118: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
Secret Scanner Secret Scanner #117: opened by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#39) Secret Scanner #116: Commit 1c0b550 pushed by hyperpolymath
Startup failure main
main
Startup failure
Secret Scanner Secret Scanner #115: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Secret Scanner #114: Commit 0088171 pushed by hyperpolymath
Startup failure main
main
Startup failure
Secret Scanner Secret Scanner #113: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 3: schedule equivalence is an equivalence relation (reflexi… Secret Scanner #112: Commit 8544be8 pushed by hyperpolymath
1s main
main
1s
ABI Layer 3: schedule equivalence is an equivalence relation (reflexive/symmetric/transitive) Secret Scanner #111: Pull request #37 synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
feat(abi): prove schedule equivalence for loop split (Layer 2) (#36) Secret Scanner #110: Commit 7e3f5ee pushed by hyperpolymath
1s main
main
1s
ABI Layer 2: prove schedule equivalence (loop split) — flagship Idris2 proof Secret Scanner #109: Pull request #36 opened by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ci: refresh standards reusable pins to current HEAD (d7c2271) (#35) Secret Scanner #108: Commit e190e0f pushed by hyperpolymath
1s main
main
1s
ci: refresh standards reusable pins to current HEAD (d7c2271) Secret Scanner #107: Pull request #35 opened by hyperpolymath
Startup failure ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
Startup failure
P1: fix Zig FFI to compile under Zig 0.14.0 (#34) Secret Scanner #106: Commit 7aa69f9 pushed by hyperpolymath
Startup failure main
main
Startup failure
P1: fix Zig FFI to compile under Zig 0.14.0 Secret Scanner #105: Pull request #34 opened by hyperpolymath
1s claude/new-session-1fphit
claude/new-session-1fphit
1s