14378487874
94%
main: 94%

Ran 10 Apr 2025 10:44AM UTC

Jobs 1

Files 42

Run time 1min

Badge

Committed 10 Apr 2025 10:29AM UTC coverage: 93.957%. Remained the same

Build Type

github

Committed by

Commit Message

Update Certora CLI Version

Run Details

325 of 366 branches covered (88.8%)

Branch coverage included in aggregate %.

499 of 511 relevant lines covered (97.65%)

100.87 hits per line

ID	Job ID	Ran	Files	Coverage
1	run-$ - 14378487874.1	10 Apr 2025 10:44AM UTC	42	93.96	GitHub Action Run