Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
1542146472 | main | Fix clippy warnings | push | Lukas Wagner | github | pending completion set done | |
1542028338 | main | Discover and apply basic mutations | push | Lukas Wagner | github | pending completion set done | |
1541824343 | main | Use yet another approach for coverage | push | Lukas Wagner | github | pending completion set done | |
1541799209 | main | Use yet another approach for coverage | push | Lukas Wagner | github | pending completion set done | |
1541755046 | main | Add clippy github workflow | push | Lukas Wagner | github | pending completion set done | |
#2 | main | upload to coveralls instead of codecov | push | Lukas Wagner | pending completion set done | ||
#1 | main | grcov: only keep src/* | push | Lukas Wagner | pending completion set done | ||
1536753595 | main | grcov: only keep src/* | push | Lukas Wagner | github | pending completion set done | |
1536674299 | main | Fix coverage, add README | push | Lukas Wagner | github | pending completion set done |