| job | branch | time | HEAD | merge-base | HOL | worker |
|---|---|---|---|---|---|---|
| 3017 | master | 1efe1f5 | 1efe1f5 | 72e78b2 | pavlova | |
| 3016 | moreDoubleAPI | d62e16a | 1efe1f5 | 72e78b2 | timtam |
| job | branch | time | HEAD | merge-base | HOL | worker |
|---|---|---|---|---|---|---|
| 3015 | moreDoubleAPI | 0c7418d | 96c66f0 | 72e78b2 | pavlova | |
| 3014 | faster-textioproof | c8fb263 | 96c66f0 | 72e78b2 | timtam | |
| 3013 | master | 96c66f0 | 96c66f0 | 72e78b2 | timtam | |
| 3012 | moreDoubleAPI | 0640ddb | 96c66f0 | 72e78b2 | timtam | |
| 3011 | master | 54a5173 | 54a5173 | 72e78b2 | pavlova | |
| 3010 | moreDoubleAPI | 0640ddb | 54a5173 | 72e78b2 | timtam | |
| 3009 | pb_int_rhs | e853c04 | 54a5173 | 72e78b2 | pavlova | |
| 3008 | varkind_cleanup | 9cf5f4b | 54a5173 | 72e78b2 | timtam | |
| 3007 | moreDoubleAPI | 623840b | 54a5173 | 72e78b2 | pavlova | |
| 3006 | master | 45d0ee6 | 45d0ee6 | 72e78b2 | pavlova |
| job | branch | time | HEAD | merge-base | HOL | worker |
|---|---|---|---|---|---|---|
| 2950 | 16bit | 5d47314 | e0f8aef | 466a40a | lammmington | |
| 2949 | halogentlepersuasion:pan_shape_check | 192db9b | e0f8aef | 466a40a | timtam | |
| 2948 | master | e0f8aef | e0f8aef | 466a40a | lammmington | |
| 2939 | revisedFloats | bf32a6e | b68e46f | 466a40a | lammmington | |
| 2932 | master | 6ba6ad6 | 6ba6ad6 | 466a40a | lammmington | |
| 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 |