Skip to content

Actions: hyperpolymath/absolute-zero

Actions

Scorecards supply-chain security

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scorecard.yml
188 workflow runs
188 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
chore(deps): bump the actions group with 7 updates (#118) Scorecards supply-chain security #188: Commit cb08db2 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): estate-wide foundational remediation (#117) Scorecards supply-chain security #187: Commit 325965b pushed by hyperpolymath
Startup failure main
main
Startup failure
Sync local commits to main (#116) Scorecards supply-chain security #186: Commit a20522b pushed by hyperpolymath
3s main
main
3s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… Scorecards supply-chain security #185: Commit caf8c1d pushed by hyperpolymath
1s main
main
1s
Scorecards supply-chain security Scorecards supply-chain security #184: Scheduled
1s main
main
1s
ci: deploy docs via Ddraig SSG (#114) Scorecards supply-chain security #183: Commit 87902bb pushed by hyperpolymath
2s main
main
2s
fix(ci): drop invalid timeout-minutes from reusable-workflow calls (p… Scorecards supply-chain security #182: Commit dbcf9aa pushed by hyperpolymath
1s main
main
1s
chore(deps): bump the actions group with 2 updates (#113) Scorecards supply-chain security #181: Commit 679b569 pushed by hyperpolymath
1s main
main
1s
docs(config): fix stale .scm references in CLAUDE.md → descriptiles/*… Scorecards supply-chain security #180: Commit 6b2b730 pushed by hyperpolymath
1s main
main
1s
feat(lean): mirror the A2 reversibility↔CNO bridge (UNVERIFIED — env-… Scorecards supply-chain security #179: Commit 1e5c615 pushed by hyperpolymath
1s main
main
1s
feat(coq): prove the reversibility↔CNO bridge MAA cites (A2, zero axi… Scorecards supply-chain security #178: Commit c233752 pushed by hyperpolymath
1s main
main
1s
Scorecards supply-chain security Scorecards supply-chain security #177: Scheduled
1s main
main
1s
chore(deps): bump the actions group with 2 updates (#108) Scorecards supply-chain security #176: Commit 3b592a5 pushed by hyperpolymath
1s main
main
1s
ci: Secret Scanner caller must grant the reusable's job permissions (… Scorecards supply-chain security #175: Commit be5a86f pushed by hyperpolymath
2s main
main
2s
ci: add reliable Agda job (version-matched agda-stdlib via git) (#106) Scorecards supply-chain security #174: Commit 2acfc89 pushed by hyperpolymath
1s main
main
1s
fix(ci): drop flaky Agda job — reliable green Coq + Z3 (#105) Scorecards supply-chain security #173: Commit bf6f1e0 pushed by hyperpolymath
1s main
main
1s
fix(ci): Agda job — use -i stdlib sources (Ubuntu ships no .agda-lib)… Scorecards supply-chain security #172: Commit 720e410 pushed by hyperpolymath
1s main
main
1s
fix(ci): robust agda-stdlib registration (green the proofs workflow) … Scorecards supply-chain security #171: Commit 137aaf9 pushed by hyperpolymath
2s main
main
2s
chore(naming)+ci: migrate 6a2 → descriptiles; harden proofs CI (#102) Scorecards supply-chain security #170: Commit 42b2001 pushed by hyperpolymath
1s main
main
1s
docs+ci+bot: post-PR#100 hygiene sweep (docs, wiki, CI, machine-reada… Scorecards supply-chain security #169: Commit 25d0d3d pushed by hyperpolymath
2s main
main
2s
feat(proofs): complete CNO + OND pillars, verified across six provers… Scorecards supply-chain security #168: Commit 6b591f1 pushed by hyperpolymath
1s main
main
1s
fix(proofs/mizar): commit required cno.voc vocabulary; disclose eta/r… Scorecards supply-chain security #167: Commit 5ea8015 pushed by hyperpolymath
Failure worktree-cno-ond-completion
worktree-cno-ond-completion
Failure
feat(proofs): complete CNO + OND pillars, verified across six provers Scorecards supply-chain security #166: Commit bec1115 pushed by hyperpolymath
Failure worktree-cno-ond-completion
worktree-cno-ond-completion
Failure
fix(ci): clear OSSF Scorecard startup_failure (#99) Scorecards supply-chain security #165: Commit 1c19d10 pushed by hyperpolymath
1s main
main
1s
fix(ci): re-pin rust-ci-reusable past toolchain-input breakage (#98) Scorecards supply-chain security #164: Commit ec3a141 pushed by hyperpolymath
Failure main
main
Failure