MinaProtocol / mina / 2563
33%
develop: 36%

LAST BUILD BRANCH: dkijania/do_not_publish_dockers_on_pr
DEFAULT BRANCH: develop
Ran
Jobs 5
Files 853
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 33.405%. First build
2563

Pull #16106

buildkite

svv232 
Merge remote-tracking branch 'origin/compatible' into sai/georgeee/proof-level-no_check
Pull Request #16106: lightnet tagging to proof level none fix

22276 of 66685 relevant lines covered (33.4%)

131149.54 hits per line

Jobs
ID Job ID Ran Files Coverage
1 fuzzy-zkapp-unit-test-dev - 2563.1 503
43.38
2 archive-unit-tests - 2563.2 605
34.58
3 rosetta-unit-test-dev - 2563.3 718
25.77
4 unit-test-dev - 2563.4 514
35.02
5 zkapp-tool-unit-test-dev - 2563.5 817
23.28
Source Files on build 2563