Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
4472660699 | v0.06 | version 0.06 | push | Lukas Mai | github | pending completion set done | |
4472648274 | main | version 0.06 | push | Lukas Mai | github | pending completion set done | |
4472562337 | main | update badge URL after renaming git branch | push | Lukas Mai | github | pending completion set done | |
4472536945 | main | try to avoid github build errors by upgrading toolchain | push | Lukas Mai | github | pending completion set done | |
4472459411 | master | try to avoid github build errors by upgrading toolchain | push | Lukas Mai | github | pending completion set done | |
4472371100 | master | add github tests ("CI") | push | Lukas Mai | github | pending completion set done | |
4472370965 | master | add github tests ("CI") | push | Lukas Mai | github | pending completion set done |