6811939246
94%
main: 94%

Ran 09 Nov 2023 12:44PM UTC

Jobs 2

Files 42

Run time 4s

Badge

Committed 09 Nov 2023 12:43PM UTC coverage: 94.307%. Remained the same

Build Type

github

Committed by

Commit Message

Update certora.yml to pin the cli version

Run Details

246 of 276 branches covered (0.0%)

Branch coverage included in aggregate %.

400 of 409 relevant lines covered (97.8%)

97.1 hits per line

ID	Job ID	Ran	Files	Coverage
1	6811939246.1	09 Nov 2023 12:44PM UTC	0	94.31	GitHub Action Run
2	6811939246.2	09 Nov 2023 12:44PM UTC	0	94.31	GitHub Action Run

Detailed source file information is not available for this build.