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

Fix sources of nondeterminism in egglog Deploy Web Demo and Docs #1174: Pull request #439 synchronize by oflatt
October 25, 2024 21:36 1m 2s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 25, 2024 21:36 1m 2s
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 Deploy Web Demo and Docs #1173: Commit 334f911 pushed by oflatt
October 25, 2024 21:36 59s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 25, 2024 21:36 59s
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 Deploy Web Demo and Docs #1172: Pull request #355 synchronize by saulshanabrook
October 25, 2024 16:02 1m 53s saulshanabrook:cost-action
saulshanabrook:cost-action
October 25, 2024 16:02 1m 53s
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 Deploy Web Demo and Docs #1171: Pull request #355 synchronize by saulshanabrook
October 25, 2024 15:59 1m 53s saulshanabrook:cost-action
saulshanabrook:cost-action
October 25, 2024 15:59 1m 53s
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
Add action to set custom cost Deploy Web Demo and Docs #1170: Pull request #355 synchronize by saulshanabrook
October 25, 2024 15:54 1m 5s saulshanabrook:cost-action
saulshanabrook:cost-action
October 25, 2024 15:54 1m 5s
pages build and deployment pages-build-deployment #321: by github-pages bot
October 25, 2024 15:42 31s
October 25, 2024 15:42 31s
Merge pull request #446 from saulshanabrook/multiset Build #1391: Commit 993582f pushed by saulshanabrook
October 25, 2024 15:40 15m 27s main
main
October 25, 2024 15:40 15m 27s
Merge pull request #446 from saulshanabrook/multiset Deploy Web Demo and Docs #1169: Commit 993582f pushed by saulshanabrook
October 25, 2024 15:40 1m 43s main
main
October 25, 2024 15:40 1m 43s
Add multisets Deploy Web Demo and Docs #1168: Pull request #446 synchronize by saulshanabrook
October 25, 2024 14:45 2m 17s saulshanabrook:multiset
saulshanabrook:multiset
October 25, 2024 14:45 2m 17s
Add multisets Build #1390: Pull request #446 synchronize by saulshanabrook
October 25, 2024 14:45 15m 10s saulshanabrook:multiset
saulshanabrook:multiset
October 25, 2024 14:45 15m 10s
Disable Value.tag in release mode Deploy Web Demo and Docs #1167: Pull request #448 synchronize by Alex-Fischman
October 25, 2024 04:05 1m 34s Alex-Fischman:cfg-tag
Alex-Fischman:cfg-tag
October 25, 2024 04:05 1m 34s
Disable Value.tag in release mode Build #1389: Pull request #448 synchronize by Alex-Fischman
October 25, 2024 04:05 14m 10s Alex-Fischman:cfg-tag
Alex-Fischman:cfg-tag
October 25, 2024 04:05 14m 10s
Disable Value.tag in release mode Build #1388: Pull request #448 synchronize by Alex-Fischman
October 24, 2024 21:44 14m 18s Alex-Fischman:cfg-tag
Alex-Fischman:cfg-tag
October 24, 2024 21:44 14m 18s
Disable Value.tag in release mode Deploy Web Demo and Docs #1166: Pull request #448 synchronize by Alex-Fischman
October 24, 2024 21:44 1m 41s Alex-Fischman:cfg-tag
Alex-Fischman:cfg-tag
October 24, 2024 21:44 1m 41s
pages build and deployment pages-build-deployment #320: by github-pages bot
October 24, 2024 21:29 27s
October 24, 2024 21:29 27s
Add get_sort back (#453) Deploy Web Demo and Docs #1165: Commit b9f4c58 pushed by yihozhang
October 24, 2024 21:28 1m 33s main
main
October 24, 2024 21:28 1m 33s
Add get_sort back (#453) Build #1387: Commit b9f4c58 pushed by yihozhang
October 24, 2024 21:28 14m 26s main
main
October 24, 2024 21:28 14m 26s
Disable Value.tag in release mode Build #1386: Pull request #448 synchronize by Alex-Fischman
October 24, 2024 21:02 14m 2s Alex-Fischman:cfg-tag
Alex-Fischman:cfg-tag
October 24, 2024 21:02 14m 2s
Disable Value.tag in release mode Deploy Web Demo and Docs #1164: Pull request #448 synchronize by Alex-Fischman
October 24, 2024 21:02 1m 35s Alex-Fischman:cfg-tag
Alex-Fischman:cfg-tag
October 24, 2024 21:02 1m 35s
Disable Value.tag in release mode Deploy Web Demo and Docs #1163: Pull request #448 synchronize by Alex-Fischman
October 24, 2024 21:02 1m 32s Alex-Fischman:cfg-tag
Alex-Fischman:cfg-tag
October 24, 2024 21:02 1m 32s