Skip to content

Actions: hyperpolymath/valence-shell

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
293 workflow runs
293 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/verify preconditions real (#216) Mirror to Git Forges #293: Commit 680c929 pushed by hyperpolymath
3m 18s main
main
3m 18s
fix(rust-cli): real Lean precondition checks in verification.rs (P0-5… Mirror to Git Forges #292: Commit c033e9e pushed by hyperpolymath
6m 7s main
main
6m 7s
fix(test): model oracle test fails instead of skipping as a pass (P0-… Mirror to Git Forges #291: Commit 3440d69 pushed by hyperpolymath
5m 45s main
main
5m 45s
chore(lean4): bump toolchain v4.12.0 -> v4.34.1 (P0-3) (#213) Mirror to Git Forges #290: Commit 53ae47f pushed by hyperpolymath
4m 11s main
main
4m 11s
docs: THEORY-FEED direction doc (D127, D204–D206) (#211) Mirror to Git Forges #289: Commit 4401867 pushed by hyperpolymath
3m 10s main
main
3m 10s
docs: add Signed commits section to CONTRIBUTING (#212) Mirror to Git Forges #288: Commit 94410af pushed by hyperpolymath
4m 23s main
main
4m 23s
chore(deps): bump the actions group with 4 updates (#209) Mirror to Git Forges #287: Commit 0355246 pushed by hyperpolymath
3m 14s main
main
3m 14s
docs: cite launcher-standard_praxis.deed, not the deleted a2ml (#208) Mirror to Git Forges #286: Commit f9d526b pushed by hyperpolymath
3m 31s main
main
3m 31s
chore(deps): bump the actions group with 7 updates (#205) Mirror to Git Forges #285: Commit 6107346 pushed by hyperpolymath
6h 11m 29s main
main
6h 11m 29s
fix(gates): gate on the DEED grammar, per the template and standards#… Mirror to Git Forges #284: Commit b774dab pushed by hyperpolymath
6h 9m 0s main
main
6h 9m 0s
fix(dogfood-gate): validate DEED via deed-ecosystem, not a2ml-era nam… Mirror to Git Forges #283: Commit fe95d21 pushed by hyperpolymath
3h 1m 18s main
main
3h 1m 18s
chore(dependabot): cap open pull requests per update block (#204) Mirror to Git Forges #282: Commit 033ab5a pushed by hyperpolymath
4m 2s main
main
4m 2s
chore(www): migrate root .well-known/ to www/.well-known/ (#203) Mirror to Git Forges #281: Commit d004047 pushed by hyperpolymath
2h 9m 54s main
main
2h 9m 54s
fix(ci): repair unparseable permissions scalar (1 workflow file(s)) (… Mirror to Git Forges #280: Commit 7fa8670 pushed by hyperpolymath
3m 24s main
main
3m 24s
docs(agents): add a GEMINI.md pointer to the maintained instructions … Mirror to Git Forges #279: Commit cbf9814 pushed by hyperpolymath
8m 48s main
main
8m 48s
fix(ci): restore reachable standards workflow pins (#200) Mirror to Git Forges #278: Commit 7b8a5d3 pushed by hyperpolymath
4m 40s main
main
4m 40s
chore(ci): repoint push-email-notify to smtp-notify-action (#199) Mirror to Git Forges #277: Commit 11127a7 pushed by hyperpolymath
Failure main
main
Failure
chore: R-16 toolchain pin + reconciliation (#198) Mirror to Git Forges #276: Commit abb76ca pushed by hyperpolymath
Failure main
main
Failure
feat(labels): estate label tooling + auto-triage for new issues (#197) Mirror to Git Forges #275: Commit 4287af6 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): the invisible-character gate never matched anything (#196) Mirror to Git Forges #274: Commit 0646ea1 pushed by hyperpolymath
Failure main
main
Failure
policy: Bun is tier 1, Deno is being removed — correct local CLAUDE.m… Mirror to Git Forges #273: Commit 2ec67b1 pushed by hyperpolymath
Failure main
main
Failure
fix(audit): mangled escaping swallowed the closing quote (#194) Mirror to Git Forges #272: Commit 787ffc5 pushed by hyperpolymath
Failure main
main
Failure
fix: close foundational shell and proof-integrity gaps (#193) Mirror to Git Forges #271: Commit b75712e pushed by hyperpolymath
Failure main
main
Failure
refactor: migrate Markdown to AsciiDoc (#188) Mirror to Git Forges #270: Commit 3ce0417 pushed by hyperpolymath
Failure main
main
Failure
refactor: eradicate TypeScript and NPM/Deno configs (#186) Mirror to Git Forges #269: Commit e472c14 pushed by hyperpolymath
Failure main
main
Failure