aremmell / libsir / 1984
96%
master: 96%

LAST BUILD BRANCH: johnsonjh/20260512/compcert-build
DEFAULT BRANCH: master
Ran
Jobs 1
Files 25
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: 95.5%. Remained the same
1984

Pull #493

gitlab-ci

johnsonjh 
Enable -Wno-unknown-pragmas for CompCert-C

Valid in CompCert-C 3.11 and higher which is what we support

Signed-off-by: Jeffrey H. Johnson <johnsonjh.dev@gmail.com>
Pull Request #493: Add Chamois-CompCert x86_64 CI test job

4847 of 8058 branches covered (60.15%)

3693 of 3867 relevant lines covered (95.5%)

354883.71 hits per line

Jobs
ID Job ID Ran Files Coverage
1 1984.1 25
95.5
Source Files on build 1984