Skip to content

Actions: hyperpolymath/absolute-zero

Actions

Scorecards supply-chain security

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scorecard.yml
193 workflow runs
193 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
proof(coq): discharge eval_respects_state_eq_{L,R} via deletion + ref… Scorecards supply-chain security #68: Commit 99ec572 pushed by hyperpolymath
5h 44m 19s main
main
5h 44m 19s
proof(coq): #133 rescue rebase + discharge eval_deterministic (PR #24) Scorecards supply-chain security #67: Commit 69e7a22 pushed by hyperpolymath
17m 23s main
main
17m 23s
fix(lean4/cno): finish loadStore_preserves_memory cons-case build (#23) Scorecards supply-chain security #66: Commit 35933a6 pushed by hyperpolymath
2h 3m 53s main
main
2h 3m 53s
Scorecards supply-chain security Scorecards supply-chain security #65: Scheduled
39s main
main
39s
licence(#7): normalise PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out… Scorecards supply-chain security #64: Commit 057a598 pushed by hyperpolymath
1h 31m 16s main
main
1h 31m 16s
fix(licence): canonicalise to PMPL-1.0-or-later per authorship check … Scorecards supply-chain security #63: Commit f39b762 pushed by hyperpolymath
8s main
main
8s
Scorecards supply-chain security Scorecards supply-chain security #62: Scheduled
5h 57m 29s main
main
5h 57m 29s
fix(licence): clear scaffold-placeholder leak (isolated; dirty repo) … Scorecards supply-chain security #61: Commit fb7a201 pushed by hyperpolymath
21m 9s main
main
21m 9s
harden(ci): concurrency-cancel guard on canonical check workflows (#19) Scorecards supply-chain security #60: Commit b766923 pushed by hyperpolymath
7h 4m 11s main
main
7h 4m 11s
Scorecards supply-chain security Scorecards supply-chain security #59: Scheduled
5h 43m 18s main
main
5h 43m 18s
Scorecards supply-chain security Scorecards supply-chain security #58: Scheduled
1d 0h 0m 2s main
main
1d 0h 0m 2s
fix(ci): sync hypatia-scan.yml to canonical (413: env.HOME+Phase-2+SA… Scorecards supply-chain security #57: Commit 35829e5 pushed by hyperpolymath
1d 0h 0m 1s main
main
1d 0h 0m 1s
chore(ci): replace per-repo governance copies with shared bundle wrapper Scorecards supply-chain security #56: Commit eb56680 pushed by hyperpolymath
8h 57m 12s main
main
8h 57m 12s
fix(ci): adopt canonical hypatia-scan.yml (env.HOME/scanner-layout + … Scorecards supply-chain security #55: Commit 8b9fbbb pushed by hyperpolymath
1h 26m 33s main
main
1h 26m 33s
chore(deps): bump the actions group with 3 updates (#15) Scorecards supply-chain security #54: Commit 3ff5cee pushed by hyperpolymath
1h 11m 36s main
main
1h 11m 36s
Scorecards supply-chain security Scorecards supply-chain security #53: Scheduled
30s main
main
30s
Scorecards supply-chain security Scorecards supply-chain security #52: Scheduled
39s main
main
39s
fix(ci): rsr-antipattern.yml duplicate heredoc (#13) Scorecards supply-chain security #51: Commit af75472 pushed by hyperpolymath
6h 56m 46s main
main
6h 56m 46s
fix(ci): move secret-scanner Cargo.toml gate from job-level if: to st… Scorecards supply-chain security #50: Commit ab938aa pushed by hyperpolymath
4h 44m 59s main
main
4h 44m 59s
Scorecards supply-chain security Scorecards supply-chain security #49: Scheduled
38s main
main
38s
Scorecards supply-chain security Scorecards supply-chain security #48: Scheduled
8h 55m 12s main
main
8h 55m 12s
ci: bump actions/upload-artifact SHA to current v4 (#12) Scorecards supply-chain security #47: Commit dcaa5ff pushed by hyperpolymath
12h 42m 22s main
main
12h 42m 22s
ci(secret-scanner): drop duplicate --fail from trufflehog extra_args … Scorecards supply-chain security #46: Commit f42ae54 pushed by hyperpolymath
5h 28m 48s main
main
5h 28m 48s
ci: fix workflow-linter YAML parse error + self-flag bug Scorecards supply-chain security #45: Commit e9629b7 pushed by hyperpolymath
48m 58s main
main
48m 58s
Scorecards supply-chain security Scorecards supply-chain security #44: Scheduled
32s main
main
32s