Repo Added
|
Files
14
|
Badge
Embed ▾
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 | web-flow | travis-ci-com | pending completion | |
574 | log-problem-boards | Of course, the failure.log file has to be created… | push | dkfellows | travis-ci-com | pending completion | |
571 | log-problem-boards | Merge cf77982e2 into 69f2072c3 | Pull #58 | web-flow | 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 | dkfellows | travis-ci-com | pending completion |