Skip to content

Actions: hyperpolymath/valence-shell

Actions

Scorecards supply-chain security

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scorecard.yml
292 workflow runs
292 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): estate-wide foundational remediation (#171) Scorecards supply-chain security #292: Commit 1ead6bf pushed by hyperpolymath
34m 27s main
main
34m 27s
Sync local commits to main (#170) Scorecards supply-chain security #291: Commit 2e1a4ce pushed by hyperpolymath
1h 27m 0s main
main
1h 27m 0s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… Scorecards supply-chain security #290: Commit 3621126 pushed by hyperpolymath
2h 41m 40s main
main
2h 41m 40s
fix(ci): drop the retired inline trufflehog job (#168) Scorecards supply-chain security #289: Commit 7f5c783 pushed by hyperpolymath
4m 9s main
main
4m 9s
security: re-pin secret scanner onto the real gitleaks gate (#167) Scorecards supply-chain security #288: Commit b955d2e pushed by hyperpolymath
41m 53s main
main
41m 53s
Scorecards supply-chain security Scorecards supply-chain security #287: Scheduled
29s main
main
29s
chore(deps): bump the actions group with 3 updates (#166) Scorecards supply-chain security #286: Commit f1e7b94 pushed by hyperpolymath
35s main
main
35s
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle,… Scorecards supply-chain security #285: Commit 6bae89b pushed by hyperpolymath
45s main
main
45s
Coq: re-verify 0 real gaps + fix build/verify from clean; add `just r… Scorecards supply-chain security #284: Commit 15c082f pushed by hyperpolymath
35s main
main
35s
Scorecards supply-chain security Scorecards supply-chain security #283: Scheduled
3m 50s main
main
3m 50s
chore(deps): bump the actions group with 7 updates (#163) Scorecards supply-chain security #282: Commit dbab186 pushed by hyperpolymath
30s main
main
30s
ci: Lean via elan in ECHIDNA + drop duplicate trufflehog --fail (#161) Scorecards supply-chain security #281: Commit 32f2049 pushed by hyperpolymath
29s main
main
29s
docs: production charter — roadmap to v1.0.0 rewritten (owner ratific… Scorecards supply-chain security #280: Commit 33449db pushed by hyperpolymath
3m 7s main
main
3m 7s
ci: fix ECHIDNA scheduled red + Secret Scanner startup_failure (#159) Scorecards supply-chain security #279: Commit 79c280f pushed by hyperpolymath
2m 54s main
main
2m 54s
Scorecards supply-chain security Scorecards supply-chain security #278: Scheduled
25s main
main
25s
chore(deps): bump the actions group with 7 updates (#158) Scorecards supply-chain security #277: Commit 5c6edd3 pushed by hyperpolymath
36s main
main
36s
docs(wiki): audience-segmented wiki + lay-person & press kits (#157) Scorecards supply-chain security #276: Commit c07de63 pushed by hyperpolymath
28s main
main
28s
infra: ABI/FFI docs + header (4A), scorecard perms (3), fuzz build fi… Scorecards supply-chain security #275: Commit 2c028a4 pushed by hyperpolymath
54s main
main
54s
chore: estate standardization remainder — contractiles restructure, n… Scorecards supply-chain security #274: Commit dd4da3e pushed by hyperpolymath
1s main
main
1s
fix(lean4): remove dead contradiction — greens the Lean 4 CI (#155) Scorecards supply-chain security #273: Commit 566d73e pushed by hyperpolymath
1s main
main
1s
chore: audit-remediation batch — panic/unsafe, CI test-gating + cover… Scorecards supply-chain security #272: Commit 84004cb pushed by hyperpolymath
1s main
main
1s
ci: harden workflows — timeout caps, pinned+verified elan, drop empty… Scorecards supply-chain security #271: Commit 9b11d08 pushed by hyperpolymath
1s main
main
1s
proofs(idris2): close all proof holes at the root — 0 holes, 0 new ax… Scorecards supply-chain security #270: Commit 2ea4ba5 pushed by hyperpolymath
1s main
main
1s
Scorecards supply-chain security Scorecards supply-chain security #269: Scheduled
1s main
main
1s
chore(deps): bump the actions group with 2 updates (#150) Scorecards supply-chain security #268: Commit 3eee5af pushed by hyperpolymath
1s main
main
1s