7541457163
94%
main: 94%

Ran 16 Jan 2024 12:19PM UTC

Jobs 1

Files 32

Run time 3s

Badge

Committed 16 Jan 2024 12:17PM UTC coverage: 94.397%. Remained the same

Build Type

github

Committed by

Commit Message

Certora Harness Patch Updated

Run Details

261 of 292 branches covered (0.0%)

Branch coverage included in aggregate %.

396 of 404 relevant lines covered (98.02%)

97.1 hits per line

ID	Job ID	Ran	Files	Coverage
1	run-$ - 7541457163.1	16 Jan 2024 12:19PM UTC	32	94.4	GitHub Action Run