Skip to content

Actions: oflatt/egglog

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
243 workflow runs
243 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixes from Yihong Build #553: Commit be8e32b pushed by oflatt
February 24, 2024 00:18 46s oflatt-desugar-globals
oflatt-desugar-globals
February 24, 2024 00:18 46s
fixes from Yihong Deploy Web Demo and Docs #393: Commit be8e32b pushed by oflatt
February 24, 2024 00:18 53s oflatt-desugar-globals
oflatt-desugar-globals
February 24, 2024 00:18 53s
fix up viz Build #552: Commit 90fbcd7 pushed by oflatt
February 21, 2024 19:45 1m 31s oflatt-desugar-globals
oflatt-desugar-globals
February 21, 2024 19:45 1m 31s
fix up viz Deploy Web Demo and Docs #392: Commit 90fbcd7 pushed by oflatt
February 21, 2024 19:45 1m 39s oflatt-desugar-globals
oflatt-desugar-globals
February 21, 2024 19:45 1m 39s
fix up subst as it was before, rename Deploy Web Demo and Docs #391: Commit e26a499 pushed by oflatt
February 15, 2024 21:19 2m 49s oflatt-desugar-globals
oflatt-desugar-globals
February 15, 2024 21:19 2m 49s
fix up subst as it was before, rename Build #551: Commit e26a499 pushed by oflatt
February 15, 2024 21:19 2m 28s oflatt-desugar-globals
oflatt-desugar-globals
February 15, 2024 21:19 2m 28s
fix comment Deploy Web Demo and Docs #390: Commit e853075 pushed by oflatt
February 15, 2024 19:54 1m 42s oflatt-prim-bug
oflatt-prim-bug
February 15, 2024 19:54 1m 42s
fix comment Build #550: Commit e853075 pushed by oflatt
February 15, 2024 19:54 1m 35s oflatt-prim-bug
oflatt-prim-bug
February 15, 2024 19:54 1m 35s
fix bug for no variable queries Build #549: Commit ad8a06b pushed by oflatt
February 15, 2024 00:05 2m 28s oflatt-prim-bug
oflatt-prim-bug
February 15, 2024 00:05 2m 28s
fix bug for no variable queries Deploy Web Demo and Docs #389: Commit ad8a06b pushed by oflatt
February 15, 2024 00:05 3m 15s oflatt-prim-bug
oflatt-prim-bug
February 15, 2024 00:05 3m 15s
fix up example Deploy Web Demo and Docs #388: Commit 3a699e7 pushed by oflatt
February 7, 2024 19:58 2m 18s oflatt-desugar-globals
oflatt-desugar-globals
February 7, 2024 19:58 2m 18s
fix up example Build #548: Commit 3a699e7 pushed by oflatt
February 7, 2024 19:58 1m 38s oflatt-desugar-globals
oflatt-desugar-globals
February 7, 2024 19:58 1m 38s
remove global bindings! yay! Build #547: Commit 4fa8a7a pushed by oflatt
February 7, 2024 19:55 1m 36s oflatt-desugar-globals
oflatt-desugar-globals
February 7, 2024 19:55 1m 36s
remove global bindings! yay! Deploy Web Demo and Docs #387: Commit 4fa8a7a pushed by oflatt
February 7, 2024 19:55 1m 41s oflatt-desugar-globals
oflatt-desugar-globals
February 7, 2024 19:55 1m 41s
fix up eval_expr Deploy Web Demo and Docs #386: Commit 2474c3f pushed by oflatt
February 7, 2024 19:48 2m 10s oflatt-desugar-globals
oflatt-desugar-globals
February 7, 2024 19:48 2m 10s
fix up eval_expr Build #546: Commit 2474c3f pushed by oflatt
February 7, 2024 19:48 1m 36s oflatt-desugar-globals
oflatt-desugar-globals
February 7, 2024 19:48 1m 36s
most tests passing Build #545: Commit cde2adb pushed by oflatt
February 7, 2024 19:43 1m 35s oflatt-desugar-globals
oflatt-desugar-globals
February 7, 2024 19:43 1m 35s
most tests passing Deploy Web Demo and Docs #385: Commit cde2adb pushed by oflatt
February 7, 2024 19:43 2m 17s oflatt-desugar-globals
oflatt-desugar-globals
February 7, 2024 19:43 2m 17s
refactor subst Deploy Web Demo and Docs #384: Commit c644db5 pushed by oflatt
February 7, 2024 19:33 2m 8s oflatt-desugar-globals
oflatt-desugar-globals
February 7, 2024 19:33 2m 8s
refactor subst Build #544: Commit c644db5 pushed by oflatt
February 7, 2024 19:33 2m 24s oflatt-desugar-globals
oflatt-desugar-globals
February 7, 2024 19:33 2m 24s
more fixes Build #543: Commit a92ffb1 pushed by oflatt
February 7, 2024 19:09 1m 53s oflatt-desugar-globals
oflatt-desugar-globals
February 7, 2024 19:09 1m 53s
more fixes Deploy Web Demo and Docs #383: Commit a92ffb1 pushed by oflatt
February 7, 2024 19:09 3m 18s oflatt-desugar-globals
oflatt-desugar-globals
February 7, 2024 19:09 3m 18s
big refactor to support map expr Deploy Web Demo and Docs #382: Commit 8acacca pushed by oflatt
February 7, 2024 18:34 1m 48s oflatt-desugar-globals
oflatt-desugar-globals
February 7, 2024 18:34 1m 48s
big refactor to support map expr Build #542: Commit 8acacca pushed by oflatt
February 7, 2024 18:34 1m 21s oflatt-desugar-globals
oflatt-desugar-globals
February 7, 2024 18:34 1m 21s
in-progress pass Deploy Web Demo and Docs #381: Commit b596230 pushed by oflatt
February 7, 2024 17:32 1m 49s oflatt-desugar-globals
oflatt-desugar-globals
February 7, 2024 17:32 1m 49s