| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 3215684907 | main | fix a bug where method calls of class instances wouldn't synchronise | push | johannes | github | pending completion set done | |
| 3192996595 | main | fix headline order | push | johannes | github | pending completion set done | |
| 3166044068 | main | link badges | push | johannes | github | pending completion set done | |
| 3166022890 | main | fix a bug with setting properties of fields | push | johannes | github | pending completion set done | |
| 3131003742 | main | add badges | push | johannes | github | pending completion set done | |
| 3121986262 | main | remove dead code | push | johannes | github | pending completion set done | |
| 3120320899 | main | fix issues with workflow; remove unused function | push | johannes | github | pending completion set done |