Skip to content

Actions: egraphs-good/egglog

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
854 workflow runs
854 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Sort declaration cleanup Build #1305: Pull request #442 opened by Alex-Fischman
October 12, 2024 22:33 1m 27s Alex-Fischman:sort-names
Alex-Fischman:sort-names
October 12, 2024 22:33 1m 27s
Add support for the interactive visualizer Build #1304: Pull request #426 synchronize by saulshanabrook
October 12, 2024 15:02 1m 47s saulshanabrook:interactive-visualizer
saulshanabrook:interactive-visualizer
October 12, 2024 15:02 1m 47s
Add support for the interactive visualizer Build #1303: Pull request #426 synchronize by saulshanabrook
October 11, 2024 20:50 3m 42s saulshanabrook:interactive-visualizer
saulshanabrook:interactive-visualizer
October 11, 2024 20:50 3m 42s
Add support for the interactive visualizer Build #1302: Pull request #426 synchronize by saulshanabrook
October 11, 2024 20:47 5m 10s saulshanabrook:interactive-visualizer
saulshanabrook:interactive-visualizer
October 11, 2024 20:47 5m 10s
Support recursive datatypes in egglog (#432) Build #1301: Commit bb97e1e pushed by yihozhang
October 11, 2024 18:17 1m 39s main
main
October 11, 2024 18:17 1m 39s
Fix eval_lit performance bug Build #1300: Pull request #441 opened by Alex-Fischman
October 10, 2024 19:25 12s Alex-Fischman:eval-lit-performance
Alex-Fischman:eval-lit-performance
October 10, 2024 19:25 12s
Merge pull request #440 from Alex-Fischman/extract-docs Build #1299: Commit 8bacebf pushed by Alex-Fischman
October 10, 2024 19:10 1m 44s main
main
October 10, 2024 19:10 1m 44s
Support recursive datatypes in egglog Build #1298: Pull request #432 synchronize by yihozhang
October 10, 2024 19:05 1m 47s yihozhang-recursive-datatype
yihozhang-recursive-datatype
October 10, 2024 19:05 1m 47s
Update src/ast/desugar.rs Build #1297: Commit 02a7964 pushed by yihozhang
October 10, 2024 19:05 1m 42s yihozhang-recursive-datatype
yihozhang-recursive-datatype
October 10, 2024 19:05 1m 42s
extract_value documentation Build #1296: Pull request #440 opened by Alex-Fischman
October 10, 2024 18:40 1m 38s Alex-Fischman:extract-docs
Alex-Fischman:extract-docs
October 10, 2024 18:40 1m 38s
Support recursive datatypes in egglog Build #1295: Pull request #432 synchronize by yihozhang
October 10, 2024 05:42 1m 36s yihozhang-recursive-datatype
yihozhang-recursive-datatype
October 10, 2024 05:42 1m 36s
fix Build #1294: Commit 10137cd pushed by yihozhang
October 10, 2024 05:41 1m 47s yihozhang-recursive-datatype
yihozhang-recursive-datatype
October 10, 2024 05:41 1m 47s
Support recursive datatypes in egglog Build #1293: Pull request #432 synchronize by yihozhang
October 10, 2024 00:54 1m 13s yihozhang-recursive-datatype
yihozhang-recursive-datatype
October 10, 2024 00:54 1m 13s
Merge branch 'yihozhang-recursive-datatype' of github.com:mwillsey/eg… Build #1292: Commit 020b89e pushed by yihozhang
October 10, 2024 00:54 1m 17s yihozhang-recursive-datatype
yihozhang-recursive-datatype
October 10, 2024 00:54 1m 17s
Fix sources of nondeterminism in egglog Build #1291: Pull request #439 synchronize by oflatt
October 9, 2024 20:23 1m 54s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 9, 2024 20:23 1m 54s
nondeterministic feature Build #1290: Commit 894407c pushed by oflatt
October 9, 2024 20:23 1m 59s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 9, 2024 20:23 1m 59s
Support user-defined scheduler Build #1289: Pull request #431 synchronize by yihozhang
October 9, 2024 03:51 1m 53s yihozhang-extensible-scheduler
yihozhang-extensible-scheduler
October 9, 2024 03:51 1m 53s
fix bad build Build #1288: Commit dd8bc67 pushed by yihozhang
October 9, 2024 03:50 1m 51s yihozhang-extensible-scheduler
yihozhang-extensible-scheduler
October 9, 2024 03:50 1m 51s
Support recursive datatypes in egglog Build #1287: Pull request #432 synchronize by yihozhang
October 9, 2024 03:28 1m 41s yihozhang-recursive-datatype
yihozhang-recursive-datatype
October 9, 2024 03:28 1m 41s
fix datatype sexp Build #1286: Commit 79ef987 pushed by yihozhang
October 9, 2024 03:28 1m 48s yihozhang-recursive-datatype
yihozhang-recursive-datatype
October 9, 2024 03:28 1m 48s
support keep-best usage by making some internals public Build #1285: Commit 396a1fa pushed by yihozhang
October 9, 2024 03:11 1m 39s yihozhang-support-keep-best
yihozhang-support-keep-best
October 9, 2024 03:11 1m 39s
Support recursive datatypes in egglog Build #1284: Pull request #432 synchronize by yihozhang
October 9, 2024 02:37 1m 37s yihozhang-recursive-datatype
yihozhang-recursive-datatype
October 9, 2024 02:37 1m 37s
Fix build due to bad merge Build #1283: Commit 820631a pushed by yihozhang
October 9, 2024 02:37 1m 37s yihozhang-recursive-datatype
yihozhang-recursive-datatype
October 9, 2024 02:37 1m 37s
Support user-defined scheduler Build #1282: Pull request #431 synchronize by yihozhang
October 9, 2024 02:27 48s yihozhang-extensible-scheduler
yihozhang-extensible-scheduler
October 9, 2024 02:27 48s
Merge branch 'main' into yihozhang-extensible-scheduler Build #1281: Commit d4fdef4 pushed by yihozhang
October 9, 2024 02:27 43s yihozhang-extensible-scheduler
yihozhang-extensible-scheduler
October 9, 2024 02:27 43s