job | branch | time | HEAD | merge-base | HOL | worker |
---|---|---|---|---|---|---|
2811 | master | f37b652 | f37b652 | 48a676c | lammmington | |
2810 | untime | 70ce28a | f37b652 | 48a676c | pavlova | |
2809 | clos-op-split | 9553097 | 8373608 | 48a676c | pavlova | |
2808 | clos-op-split | 3978b94 | 8373608 | 48a676c | lammmington | |
2807 | master | 8373608 | 8373608 | 48a676c | pavlova | |
2806 | remove-set-skip | 5b0d4a4 | 8ea3640 | 48a676c | lammmington | |
2805 | remove-set-skip | a70d3e9 | 8ea3640 | 48a676c | pavlova | |
2804 | master | 8ea3640 | 8ea3640 | 48a676c | pavlova | |
2803 | master | 8ea3640 | 8ea3640 | e64fb78 | pavlova | |
2802 | master | 8ea3640 | 8ea3640 | aa26666 | pavlova |
job | branch | time | HEAD | merge-base | HOL | worker |
---|---|---|---|---|---|---|
2754 | issue427 | a99466c | 3f6d27d | 1c3270d | pavlova | |
2751 | issue427 | b272340 | 3f6d27d | 1c3270d | lammmington | |
2748 | parsingCompute | c037f28 | bad2940 | 1ad60c4 | pavlova | |
2672 | master | b94ca1d | b94ca1d | 07c84bf | lammmington | |
2671 | pan_parseErrFix | b562031 | b94ca1d | 07c84bf | pavlova | |
2670 | preserve | f18c725 | b94ca1d | 07c84bf | pavlova | |
2669 | remove-simple-save_thm | ee72b65 | b94ca1d | 07c84bf | lammmington | |
2664 | pan_parseErrFix | b562031 | b6191f1 | 07c84bf | lammmington | |
2663 | fix-npbc-grammar | a927d0b | b6191f1 | 07c84bf | pavlova | |
2641 | remove-define | 7dfdee9 | 95fcf67 | 277f6ad | lammmington |