22517370688
65%
master: 69%

Ran 28 Feb 2026 08:52AM UTC

Jobs 1

Files 486

Run time 1min

Badge

Committed 28 Feb 2026 08:43AM UTC coverage: 65.282% (+0.001%) from 65.281%

Build Type

github

Committed by

Commit Message

Move iss552 regression under mcsat test set

Coverage Stats

5 of 5 new or added lines in 1 file covered. (100.0%)

81226 of 124424 relevant lines covered (65.28%)

1429759.55 hits per line

ID	Job ID	Ran	Files	Coverage
1	22517370688.1	28 Feb 2026 08:52AM UTC	486	65.28	GitHub Action Run