edgarogh
/
inf402
44%
|
Repo Added
|
Files
6
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH main
push
github
99 of 334 branches covered (29.64%)
Branch coverage included in aggregate %.
254 of 467 relevant lines covered (54.39%)
2.01 hits per line
Relevant lines Covered
467
RELEVANT LINES
254
COVERED LINES
2.01
HITS PER LINE
Source Files on main
Detailed source file information is not available for this build.
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 5415662236 | main | Fix README build status shield c.f. badges/shields#8671 | push |  edgarogh |
github | pending completion | |
| 5415615247 | main | Clippy + update to more modern Rust | push | edgarogh |
github | pending completion | |
| 813449014 | main | Update README.md | push | GitHub | github | pending completion | |
| 810535334 | main | Rename project and fix authors | push | Edgar Onghena | github | pending completion | |
| 808525429 | main | Merge pull request #20 from edgarogh/varisat | push | GitHub | github | pending completion | |
| 808510325 | main | Merge rules | push | GitHub | github | pending completion | |
| 793516332 | main | DNF to CNF conversion (#15) | push | GitHub | github | pending completion | |
| 789583863 | main | grcov + coveralls + readme w/ badges | push | GitHub | github | pending completion |