| job | branch | time | HEAD | merge-base | HOL | worker |
|---|---|---|---|---|---|---|
| 3155 | master | No date | 77cbb88 | 77cbb88 | 4bbb1ec | No |
| 3154 | talsewell:mlstring_common_char_prefix | No date | 1fda330 | 77cbb88 | 4bbb1ec | No |
| 3153 | flatdec | No date | 61fff97 | 77cbb88 | 4bbb1ec | No |
| 3152 | new-prims | No date | 6e17820 | 77cbb88 | 4bbb1ec | No |