|
Repo Added
|
Files
14
|
Badge
README BADGES
|
push
GitHub CI
1819 of 1859 relevant lines covered (97.85%)
0.99 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| #519 | log-problem-boards | Merge branch 'master' into log-problem-boards | push | Donal Fellows | GitHub CI | pending completion | |
| 575 | log-problem-boards | Merge 12eaff72a into 69f2072c3 | Pull #58 | travis-ci-com | pending completion | ||
| 574 | log-problem-boards | Of course, the failure.log file has to be created… | push | travis-ci-com | pending completion | ||
| 571 | log-problem-boards | Merge cf77982e2 into 69f2072c3 | Pull #58 | travis-ci-com | pending completion | ||
| 570 | log-problem-boards | First attempt at allowing users to log board problems with spalloc This just writes into the standard log at WARNING level. This is the very least that is possible. | push | travis-ci-com | pending completion |