Skip to content

Actions: TSavo/sugar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Merge pull request #2214 from TSavo/feat/catch-unwind-letinit-reach CI #4785: Commit 21a973a pushed by TSavo
16m 51s main
main
16m 51s
feat(lift-rust): peel catch_unwind(closure) let-init so inner asserts reach their disposition (unclassified 1→0) CI #4784: Pull request #2214 opened by TSavo
15m 38s feat/catch-unwind-letinit-reach
feat/catch-unwind-letinit-reach
15m 38s
Merge pull request #2213 from TSavo/feat/configuration-sugar CI #4783: Commit 989d152 pushed by TSavo
4m 33s main
main
4m 33s
feat(lift-rust): #[cfg] as a first-class composing ConfigurationSugar CI #4782: Pull request #2213 opened by TSavo
17m 9s feat/configuration-sugar
feat/configuration-sugar
17m 9s
Merge pull request #2212 from TSavo/feat/abolish-refused-ledger CI #4781: Commit 216106b pushed by TSavo
14m 32s main
main
14m 32s
feat(lift-rust): abolish refused — classify by term resolution, never by scanning CI #4780: Pull request #2212 opened by TSavo
4m 39s feat/abolish-refused-ledger
feat/abolish-refused-ledger
4m 39s
Merge pull request #2211 from TSavo/feat/term-position-value-call-inl… CI #4779: Commit c049984 pushed by TSavo
16m 32s main
main
16m 32s
feat(lift-rust): term-position value-call inlining — hollow-B → grounded-A with value teeth CI #4778: Pull request #2211 opened by TSavo
16m 27s feat/term-position-value-call-inlining
feat/term-position-value-call-inlining
16m 27s
Merge pull request #2210 from TSavo/feat/iter-terminals-2 CI #4777: Commit 683d383 pushed by TSavo
12m 34s main
main
12m 34s
feat(sugar): ground .min/.max/.any/.all/.find/.position over literal domains CI #4776: Pull request #2210 opened by TSavo
12m 56s feat/iter-terminals-2
feat/iter-terminals-2
12m 56s
Merge pull request #2209 from TSavo/feat/monadic-sugar CI #4775: Commit b4b3578 pushed by TSavo
12m 58s main
main
12m 58s
feat(sugar): MonadicSugar — Option/Result ground with teeth; positional .next; no opaque sugar CI #4774: Pull request #2209 opened by TSavo
12m 33s feat/monadic-sugar
feat/monadic-sugar
12m 33s
Merge pull request #2208 from TSavo/feat/iter-terminals CI #4773: Commit 3ca99f1 pushed by TSavo
13m 27s main
main
13m 27s
feat(sugar): iterator reduction terminals (.sum/.product/.count) ground with teeth CI #4772: Pull request #2208 opened by TSavo
13m 39s feat/iter-terminals
feat/iter-terminals
13m 39s
Merge pull request #2207 from TSavo/feat/term-macro-expand CI #4771: Commit 8b9af50 pushed by TSavo
16m 27s main
main
16m 27s
feat(sugar): term-position macros expand and re-feed build_term (first correctness dig) CI #4770: Pull request #2207 opened by TSavo
16m 21s feat/term-macro-expand
feat/term-macro-expand
16m 21s
refactor(sugar): factory is the sole dispatch — reroute last decompose_* sites CI #4769: Pull request #2206 opened by TSavo
14m 3s feat/finish-dispatch-plumbing
feat/finish-dispatch-plumbing
14m 3s
Merge pull request #2206 from TSavo/feat/finish-dispatch-plumbing CI #4768: Commit eb0ed27 pushed by TSavo
14m 14s main
main
14m 14s
refactor(sugar): thin factory + two registries of self-contained nodes CI #4767: Pull request #2205 opened by TSavo
14m 25s feat/factory-registries
feat/factory-registries
14m 25s
Merge pull request #2205 from TSavo/feat/factory-registries CI #4766: Commit 3b898a4 pushed by TSavo
13m 40s main
main
13m 40s
Merge pull request #2204 from TSavo/feat/subsume-term-lifter CI #4765: Commit 05810ac pushed by TSavo
13m 25s main
main
13m 25s
feat(sugar): subsume the term lifter into build() — no fallback CI #4764: Pull request #2204 opened by TSavo
14m 8s feat/subsume-term-lifter
feat/subsume-term-lifter
14m 8s
Merge pull request #2203 from TSavo/feat/wire-methodcall CI #4763: Commit fb04e67 pushed by TSavo
13m 14s main
main
13m 14s
feat(sugar): wire factory live at fold/for_each (plumbing) CI #4762: Pull request #2203 opened by TSavo
13m 15s feat/wire-methodcall
feat/wire-methodcall
13m 15s
Merge pull request #2202 from TSavo/feat/wire-statements CI #4761: Commit b8f339f pushed by TSavo
15m 20s main
main
15m 20s