| job | branch | time | HEAD | merge-base | HOL | worker |
|---|---|---|---|---|---|---|
| 3214 | string_cmp | ba73c51 | c98da7f | b725f6e | timtam |
| job | branch | time | HEAD | merge-base | HOL | worker |
|---|---|---|---|---|---|---|
| 3213 | master | c98da7f | c98da7f | b725f6e | timtam | |
| 3212 | cleanup-basis-ffi | 7bd0628 | 44d5f60 | b725f6e | pavlova | |
| 3211 | master | 44d5f60 | 44d5f60 | b725f6e | lammmington | |
| 3210 | word_store | d5f7116 | 44d5f60 | b725f6e | timtam | |
| 3209 | char-word8 | 1ef8ae8 | 6638ce8 | b725f6e | pavlova | |
| 3208 | cleanup-basis-ffi | 7bd0628 | 6638ce8 | b725f6e | lammmington | |
| 3207 | master | 6638ce8 | 6638ce8 | b725f6e | timtam | |
| 3206 | clash_tree_dump | 7fee6f1 | 6638ce8 | b725f6e | pavlova | |
| 3205 | word_store | 86cbc78 | 375cc6c | b725f6e | pavlova | |
| 3204 | master | 375cc6c | 375cc6c | b725f6e | lammmington |
| job | branch | time | HEAD | merge-base | HOL | worker |
|---|---|---|---|---|---|---|
| 3141 | mcandidate-fix | cfbbc19 | 680922b | 46bd0da | timtam | |
| 3122 | vname | 94b601b | 3164c9b | f02a261 | rita | |
| 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 |