1
96%
master: 96%

Ran 13 May 2026 02:31AM UTC

Files 25

Run time 1s

Badge

Embed ▾

Committed 13 May 2026 02:04AM UTC coverage: 95.5%. Remained the same

Job # 1994.1

Build Type

push

gitlab-ci

Committed by

web-flow

Commit Message

Update Chamois-CompCert to build with latest OCaml and Coq; add upstream CompCert CI job (#495)

* Update Chamois-CompCert to build with latest OCaml and Coq
* Add upstream CompCert container and CI job

---------

Signed-off-by: Jeffrey H. Johnson <johnsonjh.dev@gmail.com>

Coverage Stats

4851 of 8058 branches covered (60.2%)

3693 of 3867 relevant lines covered (95.5%)

354921.11 hits per line

aremmell / libsir / 1994 / 1
96%
master: 96%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1994.1

aremmell / libsir / 1994 / 1 96% master: 96%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1994.1

aremmell / libsir / 1994 / 1
96%
master: 96%

README BADGES
x