job | branch | time | HEAD | merge-base | HOL | worker |
---|---|---|---|---|---|---|
2885 | master | e47ca2d | e47ca2d | a81865b | lammmington | |
2884 | master | e47ca2d | e47ca2d | 718b3aa | lammmington | |
2883 | dafny-new | a609335 | a2d4bc2 | 718b3aa | lammmington | |
2882 | master | a2d4bc2 | a2d4bc2 | 718b3aa | lammmington | |
2881 | master | 26fdfd0 | 26fdfd0 | 718b3aa | lammmington | |
2880 | scheme | 0983d75 | 95250d9 | 718b3aa | lammmington | |
2879 | halogentlepersuasion:pan_prog_conv | 5d137c6 | 95250d9 | 718b3aa | lammmington | |
2878 | scheme | 2a9deab | 95250d9 | 718b3aa | lammmington | |
2877 | scheme | 2a9deab | b378040 | 718b3aa | lammmington | |
2876 | master | b378040 | b378040 | 718b3aa | lammmington |
job | branch | time | HEAD | merge-base | HOL | worker |
---|---|---|---|---|---|---|
2874 | scheme | 2a9deab | b378040 | 718b3aa | pavlova | |
2870 | scheme | 2a9deab | b378040 | 98d19aa | lammmington | |
2869 | halogentlepersuasion:pan_prog_conv | 5d137c6 | b378040 | 98d19aa | lammmington | |
2868 | scheme | 2a9deab | b378040 | 98d19aa | pavlova | |
2864 | master | b378040 | b378040 | 86a75cd | oven2 | |
2863 | master | b378040 | b378040 | 86a75cd | oven2 | |
2862 | scheme | 2a9deab | b378040 | 86a75cd | lammmington | |
2861 | master | b378040 | b378040 | 86a75cd | pavlova | |
2860 | scheme | 2a9deab | b378040 | 86a75cd | oven2 | |
2859 | scheme | 2a9deab | b378040 | 86a75cd | oven2 |