job | branch | time | HEAD | merge-base | HOL | worker |
---|---|---|---|---|---|---|
2840 | scheme | No date | f3bab93 | 6de002a | ca9276b | No |
2841 | bnn_checker | No date | 87cc789 | 6de002a | ca9276b | No |
job | branch | time | HEAD | merge-base | HOL | worker |
---|---|---|---|---|---|---|
2839 | scheme | 427d309 | 6de002a | ca9276b | pavlova | |
2838 | opb-annot | 8fe5725 | 6de002a | ca9276b | pavlova | |
2837 | master | 6de002a | 6de002a | ca9276b | lammmington | |
2836 | pmc | 0a75b1e | 6de002a | ca9276b | pavlova | |
2835 | pmc | e574307 | 6de002a | 37389f3 | pavlova | |
2834 | master | 6de002a | 6de002a | 37389f3 | pavlova | |
2833 | halogentlepersuasion:pan_static_style | c632358 | 2bd1643 | 37389f3 | pavlova | |
2832 | master | 2bd1643 | 2bd1643 | 37389f3 | lammmington | |
2831 | halogentlepersuasion:pan_static_style | 72574ed | 2bd1643 | 37389f3 | pavlova | |
2830 | master | 63412dd | 63412dd | 37389f3 | lammmington |
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 |