1
65%
master: 65%

Ran 10 Oct 2023 02:33AM UTC

Files 1615

Run time 32s

Badge

Committed 10 Oct 2023 02:24AM UTC coverage: 65.705%. Remained the same

Build Type

push

github

Committed by

Commit Message

Update ci -- run mcsat with thread-safety (#468)

* run thread safety with mcsat

* Update ci.yml

Run Details

86622 of 131834 relevant lines covered (65.71%)

1388266.99 hits per line