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 | |
| 808521577 | varisat | Merge 9e3f85964 into 6576537da | Pull #20 | GitHub | github | pending completion | |
| 808510325 | main | Merge rules | push | GitHub | github | pending completion | |
| 808505206 | rules | Merge 38df59269 into fc337ca7b | Pull #19 | GitHub | github | pending completion | |
| 796838339 | rule3 | Merge e85e9351f into fc337ca7b | Pull #17 | GitHub | github | pending completion | |
| 796817401 | rule3 | Merge c309bd424 into fc337ca7b | Pull #17 | GitHub | github | pending completion |