Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
515655457 | add-pre-commit | Merge 04c2bad48 into 0371075b6 | Pull #3 | GitHub | github | pending completion set done | |
507303171 | master | Do not be overly specific. | push | Michael Howitz | github | pending completion set done | |
491589269 | master | Do not be overly specific. | push | Michael Howitz | github | pending completion set done | |
482481461 | master | Do not be overly specific. | push | Michael Howitz | github | pending completion set done | |
482476745 | master | Render coverage on console. | push | Michael Howitz | github | pending completion set done | |
482338369 | master | Use github actions as CI. | push | Steffen Allner | github | pending completion set done | |
482306299 | use-gha | Merge dbd4ae980 into c7dc9a66b | Pull #2 | GitHub | github | pending completion set done |