Skip to content

Actions: hyperpolymath/iseriser

Actions

Secret Scanner

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
secret-scanner.yml
189 workflow runs
189 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 #189: Commit 5581786 pushed by hyperpolymath
3h 4m 46s main
main
3h 4m 46s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Secret Scanner #188: Pull request #83 opened by hyperpolymath
31m 58s fix/governance-gate-sweep
fix/governance-gate-sweep
31m 58s
security: re-pin secret scanner onto the real gitleaks gate (#82) Secret Scanner #187: Commit ad848dd pushed by hyperpolymath
11m 52s main
main
11m 52s
security: re-pin secret scanner onto the real gitleaks gate Secret Scanner #186: Pull request #82 opened by hyperpolymath
2m 20s security/real-secret-gate
security/real-secret-gate
2m 20s
ci: Secret Scanner caller must grant the reusable's job permissions (… Secret Scanner #185: Commit bcf7ad8 pushed by hyperpolymath
Startup failure main
main
Startup failure
Secret Scanner Secret Scanner #184: opened by hyperpolymath
Startup failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#80) Secret Scanner #183: Commit fe437da pushed by hyperpolymath
Startup failure main
main
Startup failure
Secret Scanner Secret Scanner #182: opened by hyperpolymath
Startup failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#79) Secret Scanner #181: Commit eb6e962 pushed by hyperpolymath
Startup failure main
main
Startup failure
Secret Scanner Secret Scanner #180: opened by hyperpolymath
-1s fix/clade-uuid
fix/clade-uuid
-1s
ci: fmt + clippy under stable 1.96 to make rust-ci green (follow-up) … Secret Scanner #179: Commit 356017a pushed by hyperpolymath
Startup failure main
main
Startup failure
Secret Scanner Secret Scanner #178: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
Secret Scanner Secret Scanner #177: opened by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… Secret Scanner #176: Commit 2ae2976 pushed by hyperpolymath
Startup failure main
main
Startup failure
Secret Scanner Secret Scanner #175: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
Secret Scanner Secret Scanner #174: opened by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#76) Secret Scanner #173: Commit e369b3c pushed by hyperpolymath
Startup failure main
main
Startup failure
Secret Scanner Secret Scanner #172: 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 #171: Commit 2e9d19f pushed by hyperpolymath
-1s main
main
-1s
Secret Scanner Secret Scanner #170: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 3: generation soundness (genScaffold always Conformant) + u… Secret Scanner #169: Commit 10b0a71 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 3: generation soundness (genScaffold always Conformant) + upward-closure Secret Scanner #168: Pull request #74 synchronize by hyperpolymath
1s claude/new-session-znxgm7
claude/new-session-znxgm7
1s
feat(abi): prove Conformant scaffold property (Layer 2 Semantics) (#73) Secret Scanner #167: Commit 9d5e5d8 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 2: prove scaffold conformance property — flagship Idris2 proof Secret Scanner #166: Pull request #73 opened by hyperpolymath
1s claude/new-session-znxgm7
claude/new-session-znxgm7
1s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#72) Secret Scanner #165: Commit 024dbbd pushed by hyperpolymath
1s main
main
1s