formalsec
/
smtml
/
539
48%
|
Ran
|
Jobs
1
|
Files
52
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 48.2% (-0.2%) from 48.354%
push
github
filipeom2423 of 5027 relevant lines covered (48.2%)
41.05 hits per line
Coverage Regressions
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 155 |
14.0 |
-0.79% | src/smtml/typed.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 539.1 | 52 |
48.2 |
GitHub Action Run |
