Skip to content

Actions: egraphs-good/eggcc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,009 workflow runs
4,009 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Memory optimizations - store/load forwarding/elimination Test #4903: Pull request #727 synchronize by rtjoa
February 12, 2025 00:30 In progress mem-simple
mem-simple
February 12, 2025 00:30 In progress
update snap Test #4902: Commit 200c6a7 pushed by rtjoa
February 12, 2025 00:29 In progress mem-simple
mem-simple
February 12, 2025 00:29 In progress
Memory optimizations - store/load forwarding/elimination Test #4901: Pull request #727 synchronize by rtjoa
February 12, 2025 00:04 23m 53s mem-simple
mem-simple
February 12, 2025 00:04 23m 53s
Merge remote-tracking branch 'origin/main' into mem-simple Test #4900: Commit c3083ab pushed by rtjoa
February 12, 2025 00:04 24m 51s mem-simple
mem-simple
February 12, 2025 00:04 24m 51s
update snap Test #4899: Commit d877aa1 pushed by rtjoa
February 12, 2025 00:02 28m 55s mem-simple
mem-simple
February 12, 2025 00:02 28m 55s
Separate function experiment Test #4898: Pull request #734 opened by oflatt
February 11, 2025 23:44 In progress oflatt-try-smaller-batches
oflatt-try-smaller-batches
February 11, 2025 23:44 In progress
try smaller batch Test #4897: Commit 839ceb3 pushed by oflatt
February 11, 2025 23:44 In progress oflatt-try-smaller-batches
oflatt-try-smaller-batches
February 11, 2025 23:44 In progress
Merge pull request #730 from egraphs-good/oflatt-suite-tables Test #4896: Commit 15e3228 pushed by oflatt
February 11, 2025 23:43 28m 49s oflatt-try-smaller-batches
oflatt-try-smaller-batches
February 11, 2025 23:43 28m 49s
Small Table Changes for Nightly Test #4895: Pull request #733 opened by oflatt
February 11, 2025 23:39 24m 50s oflatt-small-tweak
oflatt-small-tweak
February 11, 2025 23:39 24m 50s
small nightly changes Test #4894: Commit 6b89745 pushed by oflatt
February 11, 2025 23:39 25m 9s oflatt-small-tweak
oflatt-small-tweak
February 11, 2025 23:39 25m 9s
Merge pull request #730 from egraphs-good/oflatt-suite-tables Test #4893: Commit 15e3228 pushed by yihozhang
February 11, 2025 23:04 27m 59s main
main
February 11, 2025 23:04 27m 59s
Merge pull request #729 from egraphs-good/oflatt-better-macros Test #4892: Commit 2e935e0 pushed by oflatt
February 11, 2025 23:03 26m 12s main
main
February 11, 2025 23:03 26m 12s
fix rebase Test #4891: Commit 9bb557e pushed by rtjoa
February 11, 2025 23:01 28m 18s mem-simple
mem-simple
February 11, 2025 23:01 28m 18s
Merge pull request #732 from egraphs-good/oflatt-more-query-opt Test #4890: Commit 082b1a6 pushed by yihozhang
February 11, 2025 22:59 24m 57s main
main
February 11, 2025 22:59 24m 57s
Upgrade egglog version Test #4889: Pull request #732 synchronize by oflatt
February 11, 2025 22:23 26m 18s oflatt-more-query-opt
oflatt-more-query-opt
February 11, 2025 22:23 26m 18s
snapshots Test #4888: Commit b65b60e pushed by oflatt
February 11, 2025 22:23 26m 26s oflatt-more-query-opt
oflatt-more-query-opt
February 11, 2025 22:23 26m 26s
Upgrade egglog version Test #4887: Pull request #732 opened by oflatt
February 11, 2025 22:19 29m 7s oflatt-more-query-opt
oflatt-more-query-opt
February 11, 2025 22:19 29m 7s
fix bug Test #4886: Commit 7715cd3 pushed by oflatt
February 11, 2025 22:19 27m 42s oflatt-more-query-opt
oflatt-more-query-opt
February 11, 2025 22:19 27m 42s
snapshots Test #4885: Commit ef06ad7 pushed by oflatt
February 11, 2025 22:10 26m 22s oflatt-more-query-opt
oflatt-more-query-opt
February 11, 2025 22:10 26m 22s
snapshots Test #4884: Commit 8ad0fc3 pushed by oflatt
February 11, 2025 21:55 24m 58s oflatt-new-egglog
oflatt-new-egglog
February 11, 2025 21:55 24m 58s
fix after merge Test #4883: Commit 531450c pushed by oflatt
February 11, 2025 21:53 23m 7s oflatt-new-egglog
oflatt-new-egglog
February 11, 2025 21:53 23m 7s
fix serialize perf Test #4882: Commit 0fddb40 pushed by oflatt
February 11, 2025 21:49 3m 23s oflatt-new-egglog
oflatt-new-egglog
February 11, 2025 21:49 3m 23s
Merge pull request #723 from egraphs-good/oflatt-terms-perf Test #4881: Commit ea983e4 pushed by oflatt
February 11, 2025 21:48 25m 55s main
main
February 11, 2025 21:48 25m 55s
Memory optimizations - store/load forwarding/elimination Test #4880: Pull request #727 synchronize by rtjoa
February 11, 2025 05:03 41m 11s mem-simple
mem-simple
February 11, 2025 05:03 41m 11s
dont move stores before loads to respect WL Test #4879: Commit 8e05720 pushed by rtjoa
February 11, 2025 05:03 39m 10s mem-simple
mem-simple
February 11, 2025 05:03 39m 10s