Skip to content

Actions: egraphs-good/egglog

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
857 workflow runs
857 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

BigInt and BigRat (#457) Build #1416: Commit 225d0a1 pushed by yihozhang
October 30, 2024 18:59 15m 51s main
main
October 30, 2024 18:59 15m 51s
BigInt and BigRat Build #1415: Pull request #457 synchronize by Alex-Fischman
October 30, 2024 06:26 2h 15m 59s Alex-Fischman:big-int
Alex-Fischman:big-int
October 30, 2024 06:26 2h 15m 59s
BigInt and BigRat Build #1414: Pull request #457 opened by Alex-Fischman
October 29, 2024 22:56 16m 2s Alex-Fischman:big-int
Alex-Fischman:big-int
October 29, 2024 22:56 16m 2s
Merge pull request #456 from thaliaarchi/update-symbol_table Build #1413: Commit a38edb3 pushed by saulshanabrook
October 29, 2024 15:07 15m 34s main
main
October 29, 2024 15:07 15m 34s
Update symbol_table Build #1412: Pull request #456 opened by thaliaarchi
October 28, 2024 23:09 15m 39s thaliaarchi:update-symbol_table
thaliaarchi:update-symbol_table
October 28, 2024 23:09 15m 39s
Fix sources of nondeterminism in egglog Build #1411: Pull request #439 synchronize by oflatt
October 28, 2024 22:09 17m 47s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 28, 2024 22:09 17m 47s
nit Build #1410: Commit 1b550ab pushed by oflatt
October 28, 2024 22:09 16m 58s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 28, 2024 22:09 16m 58s
Fix sources of nondeterminism in egglog Build #1409: Pull request #439 synchronize by oflatt
October 28, 2024 22:06 17m 24s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 28, 2024 22:06 17m 24s
refactor util hashmap Build #1408: Commit 9f34210 pushed by oflatt
October 28, 2024 22:06 17m 23s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 28, 2024 22:06 17m 23s
refactor util hashmap Build #1407: Commit 8593ad5 pushed by oflatt
October 28, 2024 22:04 8m 59s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 28, 2024 22:04 8m 59s
nondeterministic feature Build #1406: Commit 798fe04 pushed by oflatt
October 28, 2024 21:54 9m 26s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 28, 2024 21:54 9m 26s
Merge pull request #450 from Alex-Fischman/fast-parser Build #1405: Commit 60342af pushed by Alex-Fischman
October 28, 2024 18:13 16m 41s main
main
October 28, 2024 18:13 16m 41s
Merge pull request #454 from Alex-Fischman/fix-multiset Build #1404: Commit 1f4603a pushed by saulshanabrook
October 28, 2024 17:15 14m 50s main
main
October 28, 2024 17:15 14m 50s
Reimplement parser Build #1403: Pull request #450 synchronize by Alex-Fischman
October 28, 2024 16:36 15m 35s Alex-Fischman:fast-parser
Alex-Fischman:fast-parser
October 28, 2024 16:36 15m 35s
Reimplement parser Build #1402: Pull request #450 synchronize by Alex-Fischman
October 28, 2024 16:31 14m 7s Alex-Fischman:fast-parser
Alex-Fischman:fast-parser
October 28, 2024 16:31 14m 7s
Reimplement parser Build #1401: Pull request #450 synchronize by Alex-Fischman
October 28, 2024 16:13 38s Alex-Fischman:fast-parser
Alex-Fischman:fast-parser
October 28, 2024 16:13 38s
Fix multiset after Value.tag Build #1400: Pull request #454 opened by Alex-Fischman
October 28, 2024 16:09 14m 17s Alex-Fischman:fix-multiset
Alex-Fischman:fix-multiset
October 28, 2024 16:09 14m 17s
Merge pull request #448 from Alex-Fischman/cfg-tag Build #1399: Commit 2e16561 pushed by Alex-Fischman
October 26, 2024 00:11 48s main
main
October 26, 2024 00:11 48s
Fix sources of nondeterminism in egglog Build #1398: Pull request #439 synchronize by oflatt
October 25, 2024 21:41 15m 1s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 25, 2024 21:41 15m 1s
our own build hasher that implements clone Build #1397: Commit c9727fc pushed by oflatt
October 25, 2024 21:41 9m 1s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 25, 2024 21:41 9m 1s
Fix sources of nondeterminism in egglog Build #1396: Pull request #439 synchronize by oflatt
October 25, 2024 21:36 56s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 25, 2024 21:36 56s
switch to deterministic hasher Build #1395: Commit 334f911 pushed by oflatt
October 25, 2024 21:36 47s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 25, 2024 21:36 47s
Add action to set custom cost Build #1394: Pull request #355 synchronize by saulshanabrook
October 25, 2024 16:02 14m 25s saulshanabrook:cost-action
saulshanabrook:cost-action
October 25, 2024 16:02 14m 25s
Add action to set custom cost Build #1393: Pull request #355 synchronize by saulshanabrook
October 25, 2024 15:59 14m 31s saulshanabrook:cost-action
saulshanabrook:cost-action
October 25, 2024 15:59 14m 31s
Add action to set custom cost Build #1392: Pull request #355 synchronize by saulshanabrook
October 25, 2024 15:54 56s saulshanabrook:cost-action
saulshanabrook:cost-action
October 25, 2024 15:54 56s