Skip to content

Actions: hyperpolymath/valence-shell

Actions

GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

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