995
62%
master: 62%

Ran 27 Dec 2023 07:23PM UTC

Jobs 1

Files 237

Run time 14s

Badge

Committed 27 Dec 2023 07:12PM UTC coverage: 61.436% (+0.002%) from 61.434%

Build # 995

Build Type

github

Committed by

Commit Message

Merge 4f113e161 into ea1bf2314

Run Details

18265 of 29730 relevant lines covered (61.44%)

64796.24 hits per line

Lines	Coverage	∆	File
71	72.31	-0.23%	src/affineEqualityDomain.ml

ID	Job ID	Ran	Files	Coverage
1	995.1	27 Dec 2023 07:23PM UTC	237	61.44	GitHub Action Run