Repo Added
|
Files
1007
|
Badge
Embed ▾
README BADGES
|
buildkite
22276 of 66685 relevant lines covered (33.4%)
131149.54 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
2563 | sai/georgeee/proof-level-no_check | Merge remote-tracking branch 'origin/compatible' into sai/georgeee/proof-level-no_check | Pull #16106 | svv232 | buildkite |
33.4 |