CleanCut / green / 732
100%
main: 96%

LAST BUILD BRANCH: setuptools-72.0.0
DEFAULT BRANCH: main
Ran
Jobs 7
Files 12
Run time 7min
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
732

push

travis-ci

Nathan Stocks 
Add an .encoding attribute to the wrapped sys.stdout so that things like z3 which expect it to be present don't crash. Resolves #203.

1011 of 1013 relevant lines covered (99.8%)

6.99 hits per line

Jobs
ID Job ID Ran Files Coverage
3 732.3 0
99.8
 Travis Job 732.3
4 732.4 0
99.8
 Travis Job 732.4
5 732.5 0
99.8
 Travis Job 732.5
6 732.6 0
99.8
 Travis Job 732.6
7 732.7 0
99.8
 Travis Job 732.7
8 732.8 0
99.8
 Travis Job 732.8
9 732.9 0
99.8
 Travis Job 732.9
Source Files on build 732
Detailed source file information is not available for this build.