Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
#217 | main | formats | push | github |
67.24 |
||
#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 |