Ran
|
Files
2000
|
Run time
6min
|
Badge
README BADGES
|
push
Merge pull request #4807 from msimberg/jenkins-ci Add Jenkins configuration for running on Piz Daint
125719 of 151203 relevant lines covered (83.15%)
2566940.81 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|