pyta-uoft / pyta / 12213927042
92%
master: 90%

LAST BUILD BRANCH: nonlocal
DEFAULT BRANCH: master
Ran
Jobs 5
Files 46
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: 91.861% (-0.1%) from 91.968%
12213927042

Pull #1118

github

web-flow 
Merge 395a2f890 into dbca9467f
Pull Request #1118: Fix crash when z3 is missing and add transform error reporting

6 of 12 new or added lines in 1 file covered. (50.0%)

1 existing line in 1 file now uncovered.

3104 of 3379 relevant lines covered (91.86%)

9.17 hits per line

Jobs
ID Job ID Ran Files Coverage
1 run-3.13 - 12213927042.1 0
91.8
 GitHub Action Run
2 run-3.12 - 12213927042.2 0
91.8
 GitHub Action Run
3 run-3.11 - 12213927042.3 0
91.77
 GitHub Action Run
4 run-3.9 - 12213927042.4 0
91.49
 GitHub Action Run
5 run-3.10 - 12213927042.5 0
91.77
 GitHub Action Run
Source Files on build 12213927042
Detailed source file information is not available for this build.