Ran
|
Jobs
1
|
Files
133
|
Run time
9s
|
Badge
Embed ▾
README BADGES
|
push
github
573 of 573 new or added lines in 20 files covered. (100.0%)
44964 of 48636 relevant lines covered (92.45%)
130485.44 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
69.31 |
0.51% | Analysis/src/Error.cpp |
1 |
90.3 |
0.11% | Analysis/src/Unifier.cpp |
3 |
98.18 |
-0.13% | Analysis/src/Substitution.cpp |
4 |
94.46 |
0.3% | Analysis/src/TypeInfer.cpp |
4 |
96.81 |
0.17% | Compiler/src/Compiler.cpp |
7 |
87.85 |
-8.15% | Analysis/src/Module.cpp |
Lines | Coverage | ∆ | File |
---|---|---|---|
14 |
75.73 |
20.49% | Analysis/src/Normalize.cpp |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 2355286156.1 | 133 |
92.45 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|