Ran
|
Jobs
1
|
Files
60
|
Run time
17min
|
Badge
Embed ▾
README BADGES
|
push
github
4283 of 5612 relevant lines covered (76.32%)
574.39 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
69.1 |
-0.3% | src/number/n_unknown.jl |
6 |
85.0 |
2.65% | src/ideal/quotient.jl |
14 |
91.11 |
0.31% | src/ideal/ideal.jl |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
6 | 3378172336.6 | 60 |
76.32 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|