sushiswap / trident / 1673304840 / 1

61%

master: 98%

Build Type

push

github

Committed by Matthew Lilley

Commit Message

feat: certora spec and workflow

Run Details

59 of 156 branches covered (37.82%)

Branch coverage included in aggregate %.

229 of 376 relevant lines covered (60.9%)

21.18 hits per line