accordproject / ergo / 719307708
96%
master: 96%

LAST BUILD BRANCH: dependabot/npm_and_yarn/http-cache-semantics-4.1.1
DEFAULT BRANCH: master
Ran
Jobs 3
Files 19
Run time 6min
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
719307708

push

github

Jerome Simeon 
chore(upgrade) Ergo compiler code switched to Coq 8.12

320 of 358 branches covered (89.39%)

Branch coverage included in aggregate %.

886 of 904 relevant lines covered (98.01%)

1526.95 hits per line

Jobs
ID Job ID Ran Files Coverage
2 windows-latest - 719307708.2 0
0.0
 GitHub Action Run
4 ubuntu-latest - 719307708.4 0
95.56
 GitHub Action Run
6 macOS-latest - 719307708.6 0
95.56
 GitHub Action Run
Source Files on build 719307708
Detailed source file information is not available for this build.