13720303150
45%
main: 43%

Ran 07 Mar 2025 12:06PM UTC

Jobs 1

Files 28

Run time 1min

Badge

Committed 07 Mar 2025 12:05PM UTC coverage: 45.225% (+0.2%) from 45.006%

Build Type

github

Committed by

Commit Message

Test with proof check enabled

Run Details

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

1056 of 2335 relevant lines covered (45.22%)

0.51 hits per line

ID	Job ID	Ran	Files	Coverage
1	13720303150.1	07 Mar 2025 12:06PM UTC	28	45.22	GitHub Action Run