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

Support recursive datatypes in egglog Build #1280: Pull request #432 synchronize by yihozhang
October 9, 2024 02:13 45s yihozhang-recursive-datatype
yihozhang-recursive-datatype
October 9, 2024 02:13 45s
Merge branch 'main' into yihozhang-recursive-datatype Build #1279: Commit 836a741 pushed by yihozhang
October 9, 2024 02:13 44s yihozhang-recursive-datatype
yihozhang-recursive-datatype
October 9, 2024 02:13 44s
Fix sources of nondeterminism in egglog Build #1278: Pull request #439 synchronize by oflatt
October 9, 2024 00:15 1m 45s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 9, 2024 00:15 1m 45s
use indexmap in gj (oof) Build #1277: Commit 12ecb21 pushed by oflatt
October 9, 2024 00:15 1m 47s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 9, 2024 00:15 1m 47s
Fix sources of nondeterminism in egglog Build #1276: Pull request #439 synchronize by oflatt
October 9, 2024 00:00 1m 39s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 9, 2024 00:00 1m 39s
node_ids matters Build #1275: Commit ad4f8a8 pushed by oflatt
October 9, 2024 00:00 1m 40s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 9, 2024 00:00 1m 40s
Fix sources of nondeterminism in egglog Build #1274: Pull request #439 opened by oflatt
October 8, 2024 23:50 1m 48s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 8, 2024 23:50 1m 48s
remove globals nondeterminism Build #1273: Commit a761bac pushed by oflatt
October 8, 2024 23:48 1m 38s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 8, 2024 23:48 1m 38s
sort output from iterating over table Build #1272: Commit 1c6ea0f pushed by oflatt
October 8, 2024 23:39 1m 43s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 8, 2024 23:39 1m 43s
Merge pull request #438 from egraphs-good/oflatt-more-nondeterminism Build #1271: Commit b3a5416 pushed by oflatt
October 8, 2024 22:06 1m 38s main
main
October 8, 2024 22:06 1m 38s
Fix extractor nondeterminism Build #1270: Pull request #438 synchronize by oflatt
October 8, 2024 22:03 1m 45s oflatt-more-nondeterminism
oflatt-more-nondeterminism
October 8, 2024 22:03 1m 45s
fix build Build #1269: Commit b626267 pushed by oflatt
October 8, 2024 22:03 1m 54s oflatt-more-nondeterminism
oflatt-more-nondeterminism
October 8, 2024 22:03 1m 54s
Merge pull request #437 from Alex-Fischman/desugar Build #1268: Commit e4a27dd pushed by Alex-Fischman
October 7, 2024 23:44 1m 50s main
main
October 7, 2024 23:44 1m 50s
Fix extractor nondeterminism Build #1267: Pull request #438 synchronize by oflatt
October 7, 2024 23:38 1m 40s oflatt-more-nondeterminism
oflatt-more-nondeterminism
October 7, 2024 23:38 1m 40s
fix build Build #1266: Commit cc76471 pushed by oflatt
October 7, 2024 23:38 1m 40s oflatt-more-nondeterminism
oflatt-more-nondeterminism
October 7, 2024 23:38 1m 40s
Fix extractor nondeterminism Build #1265: Pull request #438 opened by oflatt
October 7, 2024 23:36 45s oflatt-more-nondeterminism
oflatt-more-nondeterminism
October 7, 2024 23:36 45s
extractor iterates over functions Build #1264: Commit 67d6c20 pushed by oflatt
October 7, 2024 23:35 43s oflatt-more-nondeterminism
oflatt-more-nondeterminism
October 7, 2024 23:35 43s
Delete desugar struct Build #1263: Pull request #437 synchronize by Alex-Fischman
October 7, 2024 23:15 1m 44s Alex-Fischman:desugar
Alex-Fischman:desugar
October 7, 2024 23:15 1m 44s
Delete desugar struct Build #1262: Pull request #437 opened by Alex-Fischman
October 7, 2024 23:09 1m 45s Alex-Fischman:desugar
Alex-Fischman:desugar
October 7, 2024 23:09 1m 45s
Merge pull request #436 from Alex-Fischman/symbol-gen Build #1261: Commit 75e1466 pushed by Alex-Fischman
October 7, 2024 22:49 1m 40s main
main
October 7, 2024 22:49 1m 40s
SymbolGen cleanup Build #1260: Pull request #436 synchronize by Alex-Fischman
October 7, 2024 22:46 1m 43s Alex-Fischman:symbol-gen
Alex-Fischman:symbol-gen
October 7, 2024 22:46 1m 43s
Merge pull request #434 from Alex-Fischman/unused Build #1259: Commit 015d25d pushed by Alex-Fischman
October 7, 2024 22:32 1m 39s main
main
October 7, 2024 22:32 1m 39s
Merge pull request #435 from Alex-Fischman/static_parser Build #1258: Commit c34c448 pushed by Alex-Fischman
October 7, 2024 22:31 1m 43s main
main
October 7, 2024 22:31 1m 43s
SymbolGen cleanup Build #1257: Pull request #436 synchronize by Alex-Fischman
October 7, 2024 22:31 1m 39s Alex-Fischman:symbol-gen
Alex-Fischman:symbol-gen
October 7, 2024 22:31 1m 39s
SymbolGen cleanup Build #1256: Pull request #436 opened by Alex-Fischman
October 7, 2024 16:49 1m 38s Alex-Fischman:symbol-gen
Alex-Fischman:symbol-gen
October 7, 2024 16:49 1m 38s