job | branch | time | HEAD | merge-base | HOL | worker |
---|---|---|---|---|---|---|
1442 | master | a7b2b8c | 3c64959 | 07dca05 | oven2 |
job | branch | time | HEAD | merge-base | HOL | worker |
---|---|---|---|---|---|---|
1441 | eval | 82a6a52 | 3c64959 | 07dca05 | oven2 | |
1440 | master | 6539672 | 3c64959 | 07dca05 | oven1 | |
1439 | master | 533a5e9 | 3c64959 | 07dca05 | oven1 | |
1436 | master | 3c64959 | 3c64959 | 07dca05 | oven2 | |
1434 | eval | 2b02fc2 | 3c64959 | 89e07c5 | oven2 | |
1433 | eval | 1f7df1c | 3c64959 | 89e07c5 | oven2 | |
1432 | eval | 004c387 | 3c64959 | 89e07c5 | oven2 | |
1429 | master | 3c64959 | 3c64959 | 89e07c5 | oven2 | |
1428 | master | 3c64959 | 3c64959 | 982ebdf | oven2 | |
1427 | master | 8881f24 | 8881f24 | 982ebdf | oven2 |
job | branch | time | HEAD | merge-base | HOL | worker |
---|---|---|---|---|---|---|
1438 | master | f5e3ab1 | 3c64959 | 07dca05 | oven1 | |
1437 | master | a9023d9 | 3c64959 | 07dca05 | oven1 | |
1435 | eval | 82a6a52 | 3c64959 | 07dca05 | oven1 | |
1431 | master | a9023d9 | 3c64959 | 89e07c5 | oven1 | |
1430 | master | 8117043 | 3c64959 | 89e07c5 | oven2 | |
1423 | master | 86bded5 | 86bded5 | 5921a95 | oven2 | |
1420 | master | 38e03fa | 38e03fa | 5921a95 | oven2 | |
1411 | issue797 | 35ccb32 | 3157c56 | 77016ef | oven1 | |
1409 | ord-chr-word8 | 64fa563 | 3157c56 | 77016ef | oven2 | |
1408 | ord-chr-word8 | dc31835 | 3157c56 | 77016ef | oven2 |