Skip to content

Actions: egraphs-good/egglog

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,874 workflow runs
1,874 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #458 from Alex-Fischman/fast-build Deploy Web Demo and Docs #1197: Commit 4cae848 pushed by saulshanabrook
October 31, 2024 15:15 2m 46s main
main
October 31, 2024 15:15 2m 46s
Merge pull request #458 from Alex-Fischman/fast-build Build #1419: Commit 4cae848 pushed by saulshanabrook
October 31, 2024 15:15 15m 38s main
main
October 31, 2024 15:15 15m 38s
Add action to set custom cost Deploy Web Demo and Docs #1196: Pull request #355 synchronize by saulshanabrook
October 31, 2024 15:04 2m 36s saulshanabrook:cost-action
saulshanabrook:cost-action
October 31, 2024 15:04 2m 36s
Add action to set custom cost Build #1418: Pull request #355 synchronize by saulshanabrook
October 31, 2024 15:04 15m 36s saulshanabrook:cost-action
saulshanabrook:cost-action
October 31, 2024 15:04 15m 36s
Speed up local make test runs Deploy Web Demo and Docs #1195: Pull request #458 opened by Alex-Fischman
October 30, 2024 22:51 2m 50s Alex-Fischman:fast-build
Alex-Fischman:fast-build
October 30, 2024 22:51 2m 50s
Speed up local make test runs Build #1417: Pull request #458 opened by Alex-Fischman
October 30, 2024 22:51 15m 40s Alex-Fischman:fast-build
Alex-Fischman:fast-build
October 30, 2024 22:51 15m 40s
pages build and deployment pages-build-deployment #325: by github-pages bot
October 30, 2024 19:02 27s
October 30, 2024 19:02 27s
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 (#457) Deploy Web Demo and Docs #1194: Commit 225d0a1 pushed by yihozhang
October 30, 2024 18:59 2m 54s main
main
October 30, 2024 18:59 2m 54s
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 Deploy Web Demo and Docs #1193: Pull request #457 synchronize by Alex-Fischman
October 30, 2024 06:26 46m 3s Alex-Fischman:big-int
Alex-Fischman:big-int
October 30, 2024 06:26 46m 3s
BigInt and BigRat Deploy Web Demo and Docs #1192: Pull request #457 opened by Alex-Fischman
October 29, 2024 22:56 2m 36s Alex-Fischman:big-int
Alex-Fischman:big-int
October 29, 2024 22:56 2m 36s
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
pages build and deployment pages-build-deployment #324: by github-pages bot
October 29, 2024 15:10 28s
October 29, 2024 15:10 28s
Merge pull request #456 from thaliaarchi/update-symbol_table Deploy Web Demo and Docs #1191: Commit a38edb3 pushed by saulshanabrook
October 29, 2024 15:07 2m 38s main
main
October 29, 2024 15:07 2m 38s
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 Deploy Web Demo and Docs #1190: Pull request #456 opened by thaliaarchi
October 28, 2024 23:09 2m 52s thaliaarchi:update-symbol_table
thaliaarchi:update-symbol_table
October 28, 2024 23:09 2m 52s
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
Fix sources of nondeterminism in egglog Deploy Web Demo and Docs #1189: Pull request #439 synchronize by oflatt
October 28, 2024 22:09 2m 17s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 28, 2024 22:09 2m 17s
nit Deploy Web Demo and Docs #1188: Commit 1b550ab pushed by oflatt
October 28, 2024 22:09 2m 15s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 28, 2024 22:09 2m 15s
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
Fix sources of nondeterminism in egglog Deploy Web Demo and Docs #1187: Pull request #439 synchronize by oflatt
October 28, 2024 22:06 3m 5s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 28, 2024 22:06 3m 5s
refactor util hashmap Deploy Web Demo and Docs #1186: Commit 9f34210 pushed by oflatt
October 28, 2024 22:06 3m 12s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 28, 2024 22:06 3m 12s