micropython / micropython / 14535 / 6
98%
master: 98%

DEFAULT BRANCH: master
Ran
Files 277
Run time 22s
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: 98.015%. Remained the same
MAKEOPTS="-j4"

push

travis-ci-com

Damien George 
tools/upip.py: Support explicit port number in host.

Adding a port number other then 443 to a PyPI URL may be needed if a local
server like devpi is used.

19508 of 19903 relevant lines covered (98.02%)

424123.93 hits per line

Source Files on job 14535.6 (MAKEOPTS="-j4")