Skip to content

Actions: hyperpolymath/systemet

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
64 workflow runs
64 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): unbreak workflow YAML and add a complete actions.lock (#55) Mirror to Git Forges #64: Commit 8e7220a pushed by hyperpolymath
12s main
main
12s
refactor: migrate Markdown to AsciiDoc (#53) Mirror to Git Forges #63: Commit f319ccc pushed by hyperpolymath
1s main
main
1s
chore(deps): bump the actions group with 2 updates (#52) Mirror to Git Forges #62: Commit 207e0c0 pushed by hyperpolymath
9s main
main
9s
chore(deps): bump actions/attest-build-provenance from 4.1.1 to 4.2.2… Mirror to Git Forges #61: Commit e546b5b pushed by hyperpolymath
4s main
main
4s
chore(ci): make Scorecard periodic, not per-push (#46) Mirror to Git Forges #60: Commit 386e2ae pushed by hyperpolymath
2s main
main
2s
chore(governance): declare legitimate root entries (#47) Mirror to Git Forges #59: Commit 186ebde pushed by hyperpolymath
1s main
main
1s
fix(ci): regenerate actions.lock — workflow refs had drifted ahead of… Mirror to Git Forges #58: Commit 59d90fe pushed by hyperpolymath
2s main
main
2s
chore(deps): bump the actions group with 2 updates (#48) Mirror to Git Forges #57: Commit 1489c12 pushed by hyperpolymath
1s main
main
1s
fix(ci): drop the leftover trufflehog step — the estate retired it fo… Mirror to Git Forges #56: Commit 4f9412d pushed by hyperpolymath
6s main
main
6s
fix(ci): the BoJ trigger has never been a valid workflow (#43) Mirror to Git Forges #55: Commit 4d3f082 pushed by hyperpolymath
9s main
main
9s
fix(ci): wrapper permission union + standards re-pin to bd0df9e (post… Mirror to Git Forges #54: Commit 724ec29 pushed by hyperpolymath
1s main
main
1s
fix(ci): adopt Actions dependency lockfile (estate startup_failure re… Mirror to Git Forges #53: Commit 2c65f88 pushed by hyperpolymath
1s main
main
1s
Ci/fix ossf scorecard startup (#38) Mirror to Git Forges #52: Commit 6f6c76d pushed by hyperpolymath
Failure main
main
Failure
fix(ci): switch to permissionless reusable workflow (#39) Mirror to Git Forges #51: Commit ec2dddd pushed by hyperpolymath
Failure main
main
Failure
chore(deps): bump the actions group with 2 updates (#40) Mirror to Git Forges #50: Commit dcbbda6 pushed by hyperpolymath
Failure main
main
Failure
docs(state): refresh AFFIRMATION + STATE.a2ml; resync the template va… Mirror to Git Forges #49: Commit b5f7411 pushed by hyperpolymath
Failure main
main
Failure
fix(estate-rules): allowlist .githooks/, drop the stale flake.nix ent… Mirror to Git Forges #48: Commit 662b172 pushed by hyperpolymath
-1s main
main
-1s
fix(ci): Bun-first runtime policy; retire two gates that enforced the… Mirror to Git Forges #47: Commit bbc5454 pushed by hyperpolymath
Failure main
main
Failure
proofs(lean4): land the green half of the η extension (PARTIAL — ET-1… Mirror to Git Forges #46: Commit b4a59d0 pushed by hyperpolymath
Failure main
main
Failure
chore(security): fill the security-contact placeholders (owner-suppli… Mirror to Git Forges #45: Commit 0af1a2f pushed by hyperpolymath
Failure main
main
Failure
ci: vendor validation scripts and remove remote action pins (#31) Mirror to Git Forges #44: Commit 2a24f3a pushed by hyperpolymath
Failure main
main
Failure
fix(ci): repoint dogfood actions at their new in-ecosystem paths (#29) Mirror to Git Forges #43: Commit 859395a pushed by hyperpolymath
Failure main
main
Failure
docs(adr): draft ADR-0002 — L0 observational equivalence for TEA eras… Mirror to Git Forges #42: Commit 53e6afe pushed by hyperpolymath
Failure main
main
Failure
proofs(lean4): promote ET-2 to main — L1 conversion is decidable (#27) Mirror to Git Forges #41: Commit eed2092 pushed by hyperpolymath
Failure main
main
Failure
chore(deps): bump the actions group with 6 updates (#26) Mirror to Git Forges #40: Commit 0be2ae3 pushed by hyperpolymath
Failure main
main
Failure