pyta-uoft / pyta / 38152382888
91%
master: 92%

LAST BUILD BRANCH: json-output-change
DEFAULT BRANCH: master
Ran
Jobs 18
Files 57
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.032%. Remained the same
38152382888

Pull #1407

github

web-flow 
Merge 89ddbfb8d into 87e214ad6
Pull Request #1407: Add Python 3.15 to CI test matrix

3776 of 4148 relevant lines covered (91.03%)

21.24 hits per line

Jobs
ID Job ID Ran Files Coverage
1 run-3.14-base - 38152382888.1 103
91.5
GitHub Action Run
2 run-3.11-z3-solver - 38152382888.2 103
94.98
GitHub Action Run
3 run-3.14-python-ta-z3 - 38152382888.3 8
27.35
GitHub Action Run
4 run-3.13-python-ta-z3 - 38152382888.4 8
27.35
GitHub Action Run
5 run-3.15-base - 38152382888.5 103
91.5
GitHub Action Run
6 run-3.15-python-ta-z3 - 38152382888.6 8
27.35
GitHub Action Run
7 run-3.10-python-ta-z3 - 38152382888.7 8
27.35
GitHub Action Run
8 run-3.10-base - 38152382888.8 103
91.54
GitHub Action Run
9 run-3.12-python-ta-z3 - 38152382888.9 8
27.35
GitHub Action Run
10 run-3.14-z3-solver - 38152382888.10 103
94.94
GitHub Action Run
11 run-3.11-base - 38152382888.11 103
91.54
GitHub Action Run
12 run-3.10-z3-solver - 38152382888.12 103
94.98
GitHub Action Run
13 run-3.12-base - 38152382888.13 103
91.52
GitHub Action Run
14 run-3.12-z3-solver - 38152382888.14 103
94.95
GitHub Action Run
15 run-3.11-python-ta-z3 - 38152382888.15 8
27.35
GitHub Action Run
16 run-3.13-z3-solver - 38152382888.16 103
94.95
GitHub Action Run
17 run-3.15-z3-solver - 38152382888.17 103
94.94
GitHub Action Run
18 run-3.13-base - 38152382888.18 103
91.52
GitHub Action Run
Source Files on build 38152382888