|
Ran
|
Jobs
1
|
Files
222
|
Run time
1min
|
Badge
README BADGES
|
push
github
7604 of 9107 branches covered (83.5%)
Branch coverage included in aggregate %.
9 of 10 new or added lines in 1 file covered. (90.0%)
14 existing lines in 3 files now uncovered.15777 of 17449 relevant lines covered (90.42%)
296081.33 hits per line
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
90.08
|
scripts/typed-spec.ts |
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 9 |
68.33
|
-3.41% | src/typecheck/loader.ts |
| 3 |
93.79
|
-6.21% | src/typecheck/erase.ts |
| 2 |
97.24
|
-1.27% | src/typecheck/module-description.ts |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 42568250985.1 | 222 |
88.04
|
GitHub Action Run |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
|---|