16277413214
65%
master: 65%

Ran 14 Jul 2025 08:51PM UTC

Jobs 1

Files 486

Run time 1min

Badge

Committed 14 Jul 2025 08:42PM UTC coverage: 65.332%. Remained the same

Build Type

github

Committed by

Commit Message

Update yices2_parallel.py

Run Details

81222 of 124321 relevant lines covered (65.33%)

1430470.12 hits per line

ID	Job ID	Ran	Files	Coverage
1	16277413214.1	14 Jul 2025 08:51PM UTC	486	65.33	GitHub Action Run