Skip to content

Actions: egraphs-good/eggcc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,459 workflow run results
1,459 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

one more Test #1412: Commit e4ebbb4 pushed by ajpal
January 30, 2024 23:08 3m 55s switch
switch
January 30, 2024 23:08 3m 55s
Tree schema that supports shared and unique Test #1411: Pull request #296 synchronize by oflatt
January 30, 2024 22:50 3m 55s oflatt-shared-tree-schema
oflatt-shared-tree-schema
January 30, 2024 22:50 3m 55s
fix up results from tests Test #1410: Commit 27c8630 pushed by oflatt
January 30, 2024 22:50 4m 20s oflatt-shared-tree-schema
oflatt-shared-tree-schema
January 30, 2024 22:50 4m 20s
add list-of-get-arg Test #1409: Pull request #301 synchronize by clyben
January 30, 2024 22:49 3m 34s clyben:list-of-get
clyben:list-of-get
January 30, 2024 22:49 3m 34s
Tree schema that supports shared and unique Test #1408: Pull request #296 synchronize by oflatt
January 30, 2024 22:42 4m 7s oflatt-shared-tree-schema
oflatt-shared-tree-schema
January 30, 2024 22:42 4m 7s
fix up more small issues Test #1407: Commit 821dbd2 pushed by oflatt
January 30, 2024 22:42 3m 53s oflatt-shared-tree-schema
oflatt-shared-tree-schema
January 30, 2024 22:42 3m 53s
add list-of-get-arg Test #1406: Pull request #301 synchronize by clyben
January 30, 2024 22:42 3m 35s clyben:list-of-get
clyben:list-of-get
January 30, 2024 22:42 3m 35s
fix switch bug Test #1405: Pull request #302 opened by ajpal
January 30, 2024 22:26 3m 36s switch
switch
January 30, 2024 22:26 3m 36s
fix switch bug Test #1404: Commit fe5c240 pushed by ajpal
January 30, 2024 22:25 3m 32s switch
switch
January 30, 2024 22:25 3m 32s
add list-of-get-arg Test #1403: Pull request #301 opened by clyben
January 30, 2024 22:25 3m 39s clyben:list-of-get
clyben:list-of-get
January 30, 2024 22:25 3m 39s
Tree schema that supports shared and unique Test #1402: Pull request #296 synchronize by oflatt
January 30, 2024 22:05 59s oflatt-shared-tree-schema
oflatt-shared-tree-schema
January 30, 2024 22:05 59s
get rid of concat Test #1401: Commit c50e1a8 pushed by oflatt
January 30, 2024 22:05 1m 1s oflatt-shared-tree-schema
oflatt-shared-tree-schema
January 30, 2024 22:05 1m 1s
Tree schema that supports shared and unique Test #1400: Pull request #296 synchronize by oflatt
January 30, 2024 21:32 3m 53s oflatt-shared-tree-schema
oflatt-shared-tree-schema
January 30, 2024 21:32 3m 53s
unify constructor and expr Test #1399: Commit 0e63305 pushed by oflatt
January 30, 2024 21:32 3m 37s oflatt-shared-tree-schema
oflatt-shared-tree-schema
January 30, 2024 21:32 3m 37s
Tree schema that supports shared and unique Test #1398: Pull request #296 synchronize by oflatt
January 30, 2024 20:51 4m 24s oflatt-shared-tree-schema
oflatt-shared-tree-schema
January 30, 2024 20:51 4m 24s
finally fix all tests for binop Test #1397: Commit 2384297 pushed by oflatt
January 30, 2024 20:51 3m 41s oflatt-shared-tree-schema
oflatt-shared-tree-schema
January 30, 2024 20:51 3m 41s
Tree schema that supports shared and unique Test #1396: Pull request #296 synchronize by oflatt
January 30, 2024 19:16 51s oflatt-shared-tree-schema
oflatt-shared-tree-schema
January 30, 2024 19:16 51s
big binop rea Test #1395: Commit 29522ce pushed by oflatt
January 30, 2024 19:16 46s oflatt-shared-tree-schema
oflatt-shared-tree-schema
January 30, 2024 19:16 46s
Tree schema that supports shared and unique Test #1394: Pull request #296 synchronize by oflatt
January 30, 2024 18:39 3m 35s oflatt-shared-tree-schema
oflatt-shared-tree-schema
January 30, 2024 18:39 3m 35s
tests passing with function types Test #1393: Commit 1f99e1d pushed by oflatt
January 30, 2024 18:39 3m 33s oflatt-shared-tree-schema
oflatt-shared-tree-schema
January 30, 2024 18:39 3m 33s
Merge pull request #300 from clyben/fix_bodycontains Test #1392: Commit 27fad56 pushed by clyben
January 30, 2024 18:30 3m 47s main
main
January 30, 2024 18:30 3m 47s
Tree schema that supports shared and unique Test #1391: Pull request #296 synchronize by oflatt
January 30, 2024 18:27 46s oflatt-shared-tree-schema
oflatt-shared-tree-schema
January 30, 2024 18:27 46s
move to tree_optimizer, add types to functions Test #1390: Commit d9d7282 pushed by oflatt
January 30, 2024 18:27 1m 0s oflatt-shared-tree-schema
oflatt-shared-tree-schema
January 30, 2024 18:27 1m 0s
[Tree unique] Loop Invariant Detection Test #1389: Pull request #269 synchronize by clyben
January 30, 2024 16:18 3m 44s clyben:tree_uni_loop_inv
clyben:tree_uni_loop_inv
January 30, 2024 16:18 3m 44s
Change (BodyContain Expr Expr) to (BodyContain Id Expr) Test #1388: Pull request #300 opened by clyben
January 30, 2024 01:59 3m 31s clyben:fix_bodycontains
clyben:fix_bodycontains
January 30, 2024 01:59 3m 31s