Skip to content

Actions: sini/gen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
461 workflow runs
461 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
ci/mkgenlibs-eval: register gen-scope's five calculus tombstones (den… CI #407: Commit 425175f pushed by sini
7m 46s main
main
7m 46s
ci/mkgenlibs-eval: register gen-scope's five calculus tombstones (den… Docs #54: Commit 425175f pushed by sini
50s main
main
50s
CI CI #406: Manually run by sini
7m 42s gayc-u2
gayc-u2
7m 42s
gitignore: .claude/ (agent tooling, never published; den-hoag-g2glu) CI #405: Commit 4467b38 pushed by sini
7m 4s main
main
7m 4s
relock: bump every declared input to its tip CI #404: Commit e07a3d0 pushed by sini
7m 10s main
main
7m 10s
U1 and U1b overlay (den-hoag-6orb8): gen-types follows gen-algebra; s… CI #403: Commit 4bb1e22 pushed by sini
7m 22s main
main
7m 22s
relock: bump every declared input to its tip CI #402: Commit c2bd804 pushed by sini
7m 24s main
main
7m 24s
relock: bump every declared input to its tip CI #401: Commit 08a3507 pushed by sini
7m 12s main
main
7m 12s
relock: bump every declared input to its tip CI #400: Commit d676263 pushed by sini
7m 14s main
main
7m 14s
mkgenlibs-eval: the program pin's provenance names the gen-rules door… CI #399: Commit 48a9d9b pushed by sini
7m 9s main
main
7m 9s
relock 53: re-pin the prelude surface (isStringLike); TERMINOLOGY pat… CI #398: Commit 47b3ce7 pushed by sini
7m 2s main
main
7m 2s
relock: bump every declared input to its tip CI #397: Commit 67d0ed8 pushed by sini
7m 9s main
main
7m 9s
docs: a context closure crosses the gen-rules door; the wrapped closu… CI #396: Commit 3af8232 pushed by sini
7m 7s main
main
7m 7s
docs: a context closure crosses the gen-rules door; the wrapped closu… Docs #53: Commit 3af8232 pushed by sini
55s main
main
55s
relock 51: gen-rules joins the roster; units 1-3 wired; bump every de… CI #395: Commit 0255630 pushed by sini
7m 4s main
main
7m 4s
relock 51: gen-rules joins the roster; units 1-3 wired; bump every de… Docs #52: Commit 0255630 pushed by sini
1m 4s main
main
1m 4s
relock: bump every declared input to its tip CI #394: Commit d2d9e15 pushed by sini
7m 11s main
main
7m 11s
relock 49: pin the merged members; re-pin the merge and aspects surfa… CI #393: Commit e020c35 pushed by sini
6m 50s main
main
6m 50s
relock 48: pin the merged members; re-pin the aspects, scope and sele… CI #392: Commit 9159aea pushed by sini
6m 55s main
main
6m 55s
relock 47: pin the merged members; re-pin the schema and settings sur… CI #391: Commit f60609c pushed by sini
7m 11s main
main
7m 11s
relock 47: pin the merged members; re-pin the schema and settings sur… Docs #51: Commit f60609c pushed by sini
47s main
main
47s
CI CI #390: Manually run by sini
6m 49s f8mgj-bench
f8mgj-bench
6m 49s
CI CI #389: Manually run by sini
6m 40s 2zjg1
2zjg1
6m 40s
CI CI #388: Manually run by sini
6m 26s 9unpj-docs
9unpj-docs
6m 26s
CI CI #387: Manually run by sini
6m 44s 9unpj-docs
9unpj-docs
6m 44s