Skip to content

Actions: egraphs-good/eggcc

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make gurobi optional so nightly runs again Test #5645: Pull request #789 synchronize by oflatt
25m 17s oflatt-gurobi-optional
oflatt-gurobi-optional
25m 17s
small fixes for running single benchmark Test #5644: Commit abc9d58 pushed by oflatt
25m 47s oflatt-gurobi-optional
oflatt-gurobi-optional
25m 47s
Make gurobi optional so nightly runs again Test #5643: Pull request #789 synchronize by oflatt
26m 15s oflatt-gurobi-optional
oflatt-gurobi-optional
26m 15s
nit Test #5642: Commit 050ff93 pushed by oflatt
26m 42s oflatt-gurobi-optional
oflatt-gurobi-optional
26m 42s
Make gurobi optional so nightly runs again Test #5641: Pull request #789 synchronize by oflatt
27m 51s oflatt-gurobi-optional
oflatt-gurobi-optional
27m 51s
copilot feedback Test #5640: Commit 65c2a8d pushed by oflatt
25m 35s oflatt-gurobi-optional
oflatt-gurobi-optional
25m 35s
Make gurobi optional so nightly runs again Test #5639: Pull request #789 synchronize by oflatt
28m 21s oflatt-gurobi-optional
oflatt-gurobi-optional
28m 21s
nits Test #5638: Commit 04e992f pushed by oflatt
26m 23s oflatt-gurobi-optional
oflatt-gurobi-optional
26m 23s
Copilot code review Copilot code review #3: by Copilot AI
4m 6s refs/pull/789/head
refs/pull/789/head
4m 6s
Make gurobi optional so nightly runs again Test #5637: Pull request #789 opened by oflatt
28m 7s oflatt-gurobi-optional
oflatt-gurobi-optional
28m 7s
small cleanup Test #5636: Commit c4ca1c5 pushed by oflatt
26m 1s oflatt-gurobi-optional
oflatt-gurobi-optional
26m 1s
more refactor Test #5635: Commit 7bc8056 pushed by oflatt
26m 3s oflatt-gurobi-optional
oflatt-gurobi-optional
26m 3s
nightly refactor with use gurobi Test #5634: Commit f263a9d pushed by oflatt
28m 50s oflatt-gurobi-optional
oflatt-gurobi-optional
28m 50s
percent regions thingy Test #5633: Commit 483e449 pushed by oflatt
28m 4s oflatt-gurobi-optional
oflatt-gurobi-optional
28m 4s
lots of upgrade progress Test #5632: Commit edbf664 pushed by oflatt
7m 7s oflatt-latest-egglog
oflatt-latest-egglog
7m 7s
working on move to latest Test #5631: Commit 3a35f66 pushed by oflatt
4m 27s oflatt-latest-egglog
oflatt-latest-egglog
4m 27s
Add optimizations to support talk example Test #5630: Pull request #788 synchronize by ajpal
27m 47s ajpal-example
ajpal-example
27m 47s
snapshots Test #5629: Commit 72bde6a pushed by ajpal
29m 12s ajpal-example
ajpal-example
29m 12s
Add optimizations to support talk example Test #5628: Pull request #788 synchronize by ajpal
26m 46s ajpal-example
ajpal-example
26m 46s
move to non-weakly-linear ruleset Test #5627: Commit ec257c4 pushed by ajpal
27m 41s ajpal-example
ajpal-example
27m 41s
Add optimizations to support talk example Test #5626: Pull request #788 opened by ajpal
14m 53s ajpal-example
ajpal-example
14m 53s
working Test #5625: Commit 21dab51 pushed by ajpal
14m 40s ajpal-example
ajpal-example
14m 40s
Move data in non-local mode Test #5624: Pull request #786 synchronize by oflatt
25m 58s oflatt-move-in-non-local
oflatt-move-in-non-local
25m 58s
Merge pull request #787 from egraphs-good/copilot/sub-pr-786 Test #5623: Commit cec1e31 pushed by oflatt
26m 26s oflatt-move-in-non-local
oflatt-move-in-non-local
26m 26s
Copilot code review Copilot code review #2: by Copilot AI
1m 7s refs/pull/787/head
refs/pull/787/head
1m 7s