Skip to content

Actions: egraphs-good/egglog

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merge pull request #448 from Alex-Fischman/cfg-tag Deploy Web Demo and Docs #1177: Commit 2e16561 pushed by Alex-Fischman
October 26, 2024 00:11 39s main
main
October 26, 2024 00:11 39s
Fix sources of nondeterminism in egglog Deploy Web Demo and Docs #1176: Pull request #439 synchronize by oflatt
October 25, 2024 21:41 1m 46s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 25, 2024 21:41 1m 46s
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 Deploy Web Demo and Docs #1175: Commit c9727fc pushed by oflatt
October 25, 2024 21:41 2m 14s oflatt-nondeterminism-fix
oflatt-nondeterminism-fix
October 25, 2024 21:41 2m 14s
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 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