formalsec
/
smtml
/
600
42%
|
Ran
|
Jobs
1
|
Files
54
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 42.047% (+0.2%) from 41.889%
push
github
filipeom2744 of 6526 relevant lines covered (42.05%)
38.39 hits per line
Coverage Regressions
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 117 |
34.52
|
0.12% | src/smtml/ty.ml |
| 86 |
74.78
|
0.11% | src/smtml/eval.ml |
| 81 |
54.01
|
0.21% | src/smtml/mappings.ml |
| 17 |
1.29
|
-0.01% | src/smtml/feature.ml |
| 4 |
7.77
|
0.55% | src/smtml/typed.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 600.1 | 54 |
42.05
|
GitHub Action Run |
