formalsec / smtml / 582
42%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 53
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 40.489% (+0.04%) from 40.451%
582

push

github

filipeom 
Start depracting the `Expr.Bool` (#624)

15 of 24 new or added lines in 2 files covered. (62.5%)

3 existing lines in 1 file now uncovered.

2465 of 6088 relevant lines covered (40.49%)

35.79 hits per line

Uncovered Changes

Lines Coverage ∆ File
8
7.0
0.82% src/smtml/typed.ml
1
18.18
18.18% src/smtml/expr_raw.ml

Coverage Regressions

Lines Coverage ∆ File
3
51.06
-0.58% src/smtml/expr.ml
Jobs
ID Job ID Ran Files Coverage
1 582.1 53
40.49
GitHub Action Run
Source Files on build 582