10246213528
100%
master: 85%

Ran 05 Aug 2024 09:27AM UTC

Jobs 1

Files 3

Run time 1min

Badge

Committed 05 Aug 2024 09:25AM UTC coverage: 100.0%. Remained the same

Build Type

github

Committed by

Commit Message

Certora Path Update

Run Details

24 of 24 branches covered (100.0%)

Branch coverage included in aggregate %.

51 of 51 relevant lines covered (100.0%)

42.96 hits per line

ID	Job ID	Ran	Files	Coverage
1	10246213528.1	05 Aug 2024 09:27AM UTC	3	100.0	GitHub Action Run