Skip to content

Actions: hyperpolymath/valence-shell

Actions

GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
casket-pages.yml
261 workflow runs
261 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: fill or remove RSR template placeholders (#174) GitHub Pages #261: Commit 3ad51e1 pushed by hyperpolymath
4m 40s main
main
4m 40s
fix(ci): re-point validate-action references at the ecosystem repos (… GitHub Pages #260: Commit db9f998 pushed by hyperpolymath
23m 34s main
main
23m 34s
chore(deps): bump the actions group with 6 updates (#172) GitHub Pages #259: Commit 2314116 pushed by hyperpolymath
2m 27s main
main
2m 27s
fix(ci): estate-wide foundational remediation (#171) GitHub Pages #258: Commit 1ead6bf pushed by hyperpolymath
54m 4s main
main
54m 4s
Sync local commits to main (#170) GitHub Pages #257: Commit 2e1a4ce pushed by hyperpolymath
1h 39m 24s main
main
1h 39m 24s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… GitHub Pages #256: Commit 3621126 pushed by hyperpolymath
3h 57m 46s main
main
3h 57m 46s
fix(ci): drop the retired inline trufflehog job (#168) GitHub Pages #255: Commit 7f5c783 pushed by hyperpolymath
52m 14s main
main
52m 14s
security: re-pin secret scanner onto the real gitleaks gate (#167) GitHub Pages #254: Commit b955d2e pushed by hyperpolymath
1h 2m 33s main
main
1h 2m 33s
chore(deps): bump the actions group with 3 updates (#166) GitHub Pages #253: Commit f1e7b94 pushed by hyperpolymath
20m 44s main
main
20m 44s
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle,… GitHub Pages #252: Commit 6bae89b pushed by hyperpolymath
27m 10s main
main
27m 10s
Coq: re-verify 0 real gaps + fix build/verify from clean; add `just r… GitHub Pages #251: Commit 15c082f pushed by hyperpolymath
25m 56s main
main
25m 56s
chore(deps): bump the actions group with 7 updates (#163) GitHub Pages #250: Commit dbab186 pushed by hyperpolymath
25m 39s main
main
25m 39s
ci: Lean via elan in ECHIDNA + drop duplicate trufflehog --fail (#161) GitHub Pages #249: Commit 32f2049 pushed by hyperpolymath
21m 8s main
main
21m 8s
docs: production charter — roadmap to v1.0.0 rewritten (owner ratific… GitHub Pages #248: Commit 33449db pushed by hyperpolymath
46m 35s main
main
46m 35s
ci: fix ECHIDNA scheduled red + Secret Scanner startup_failure (#159) GitHub Pages #247: Commit 79c280f pushed by hyperpolymath
28m 15s main
main
28m 15s
chore(deps): bump the actions group with 7 updates (#158) GitHub Pages #246: Commit 5c6edd3 pushed by hyperpolymath
25m 56s main
main
25m 56s
docs(wiki): audience-segmented wiki + lay-person & press kits (#157) GitHub Pages #245: Commit c07de63 pushed by hyperpolymath
25m 30s main
main
25m 30s
infra: ABI/FFI docs + header (4A), scorecard perms (3), fuzz build fi… GitHub Pages #244: Commit 2c028a4 pushed by hyperpolymath
25m 6s main
main
25m 6s
chore: estate standardization remainder — contractiles restructure, n… GitHub Pages #243: Commit dd4da3e pushed by hyperpolymath
24m 10s main
main
24m 10s
fix(lean4): remove dead contradiction — greens the Lean 4 CI (#155) GitHub Pages #242: Commit 566d73e pushed by hyperpolymath
24m 14s main
main
24m 14s
chore: audit-remediation batch — panic/unsafe, CI test-gating + cover… GitHub Pages #241: Commit 84004cb pushed by hyperpolymath
23m 35s main
main
23m 35s
ci: harden workflows — timeout caps, pinned+verified elan, drop empty… GitHub Pages #240: Commit 9b11d08 pushed by hyperpolymath
24m 20s main
main
24m 20s
proofs(idris2): close all proof holes at the root — 0 holes, 0 new ax… GitHub Pages #239: Commit 2ea4ba5 pushed by hyperpolymath
23m 21s main
main
23m 21s
chore(deps): bump the actions group with 2 updates (#150) GitHub Pages #238: Commit 3eee5af pushed by hyperpolymath
24m 34s main
main
24m 34s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#149) GitHub Pages #237: Commit ed4d498 pushed by hyperpolymath
26m 15s main
main
26m 15s