Skip to content

Actions: hyperpolymath/valence-shell

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
204 workflow runs
204 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) BoJ Server Build Trigger #204: Commit 1ead6bf pushed by hyperpolymath
34m 12s main
main
34m 12s
Sync local commits to main (#170) BoJ Server Build Trigger #203: Commit 2e1a4ce pushed by hyperpolymath
1h 27m 8s main
main
1h 27m 8s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… BoJ Server Build Trigger #202: Commit 3621126 pushed by hyperpolymath
2h 43m 58s main
main
2h 43m 58s
fix(ci): drop the retired inline trufflehog job (#168) BoJ Server Build Trigger #201: Commit 7f5c783 pushed by hyperpolymath
3m 18s main
main
3m 18s
security: re-pin secret scanner onto the real gitleaks gate (#167) BoJ Server Build Trigger #200: Commit b955d2e pushed by hyperpolymath
41m 29s main
main
41m 29s
chore(deps): bump the actions group with 3 updates (#166) BoJ Server Build Trigger #199: Commit f1e7b94 pushed by hyperpolymath
9s main
main
9s
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle,… BoJ Server Build Trigger #198: Commit 6bae89b pushed by hyperpolymath
26s main
main
26s
Coq: re-verify 0 real gaps + fix build/verify from clean; add `just r… BoJ Server Build Trigger #197: Commit 15c082f pushed by hyperpolymath
8s main
main
8s
chore(deps): bump the actions group with 7 updates (#163) BoJ Server Build Trigger #196: Commit dbab186 pushed by hyperpolymath
7s main
main
7s
ci: Lean via elan in ECHIDNA + drop duplicate trufflehog --fail (#161) BoJ Server Build Trigger #195: Commit 32f2049 pushed by hyperpolymath
13s main
main
13s
docs: production charter — roadmap to v1.0.0 rewritten (owner ratific… BoJ Server Build Trigger #194: Commit 33449db pushed by hyperpolymath
2m 47s main
main
2m 47s
ci: fix ECHIDNA scheduled red + Secret Scanner startup_failure (#159) BoJ Server Build Trigger #193: Commit 79c280f pushed by hyperpolymath
37s main
main
37s
chore(deps): bump the actions group with 7 updates (#158) BoJ Server Build Trigger #192: Commit 5c6edd3 pushed by hyperpolymath
9s main
main
9s
docs(wiki): audience-segmented wiki + lay-person & press kits (#157) BoJ Server Build Trigger #191: Commit c07de63 pushed by hyperpolymath
11s main
main
11s
infra: ABI/FFI docs + header (4A), scorecard perms (3), fuzz build fi… BoJ Server Build Trigger #190: Commit 2c028a4 pushed by hyperpolymath
11s main
main
11s
chore: estate standardization remainder — contractiles restructure, n… BoJ Server Build Trigger #189: Commit dd4da3e pushed by hyperpolymath
8s main
main
8s
fix(lean4): remove dead contradiction — greens the Lean 4 CI (#155) BoJ Server Build Trigger #188: Commit 566d73e pushed by hyperpolymath
8s main
main
8s
chore: audit-remediation batch — panic/unsafe, CI test-gating + cover… BoJ Server Build Trigger #187: Commit 84004cb pushed by hyperpolymath
11s main
main
11s
ci: harden workflows — timeout caps, pinned+verified elan, drop empty… BoJ Server Build Trigger #186: Commit 9b11d08 pushed by hyperpolymath
20s main
main
20s
proofs(idris2): close all proof holes at the root — 0 holes, 0 new ax… BoJ Server Build Trigger #185: Commit 2ea4ba5 pushed by hyperpolymath
8s main
main
8s
chore(deps): bump the actions group with 2 updates (#150) BoJ Server Build Trigger #184: Commit 3eee5af pushed by hyperpolymath
8s main
main
8s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#149) BoJ Server Build Trigger #183: Commit ed4d498 pushed by hyperpolymath
2m 31s main
main
2m 31s
chore(ci): add dormant push-email notification workflow (#147) BoJ Server Build Trigger #182: Commit b6b07c6 pushed by hyperpolymath
19h 15m 52s main
main
19h 15m 52s
chore(clade): backfill [status] lifecycle block (#146) BoJ Server Build Trigger #181: Commit a8930d1 pushed by hyperpolymath
18h 44m 12s main
main
18h 44m 12s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … BoJ Server Build Trigger #180: Commit be08eff pushed by hyperpolymath
18h 29m 9s main
main
18h 29m 9s