| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| #216 | main | formats | push | github |
67.24 |
||
| #215 | main | formats | push | github |
67.24 |
||
| #214 | main | formats | push | github |
67.24 |
||
| #213 | main | formats | push | github |
67.24 |
||
| #212 | main | formats | push | github |
67.24 |
||
| #211 | main | formats | push | github |
67.24 |
||
| #210 | main | formats | push | github |
67.24 |
||
| #209 | main | table evolution | push | github |
67.24 |
||
| #208 | main | separates verify commands | push | github |
67.24 |
||
| #207 | main | spring results | push | github |
67.24 |
||
| #206 | main | empty table | push | github |
67.24 |
||
| #205 | main | empty table | push | github |
67.24 |
||
| #204 | main | empty table | push | github |
67.24 |
||
| #203 | main | Better Makefile | push | github |
67.24 |
||
| #202 | main | Better Makefile | push | github |
67.24 |