formalsec / whilloc
48%

DEFAULT BRANCH: main
Repo Added
Files 35
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

LAST BUILD ON BRANCH main
branch: SELECT
CHANGE BRANCH
x

coverage: 47.653% (-0.06%) from 47.716%
50

push

github

filipeom 
Promote test

Mostly changes due to expression simplification

1218 of 2556 relevant lines covered (47.65%)

979.6 hits per line

Relevant lines Covered
2556 RELEVANT LINES 1218 COVERED LINES
979.6 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
50 main Promote test Mostly changes due to expression simplification push filipeom github
47.65
49 HEAD Merge c2bda7bf3 into 6085851f4 push web-flow github
47.65
48 main fix tests (closes #20) push julianayang777 github
47.72
47 HEAD Merge 16e327678 into c7c808d32 push web-flow github
47.72
46 main Adds `bisect_ppx` instrumentation to measure tests code coverage push filipeom github
47.52
44 HEAD Merge 91406c93d into 048f6a628 push web-flow github
47.52
43 HEAD Merge adbd72f40 into 048f6a628 push web-flow github
47.52
See All Builds (7)