pyta-uoft / pyta / 26548821920
91%

DEFAULT BRANCH: master
Ran
Jobs 15
Files 56
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: 90.591%. Remained the same
Jobs
ID Job ID Ran Files Coverage
1 run-3.12-python-ta-z3 - 26548821920.1 8
27.35
 GitHub Action Run
2 run-3.12-base - 26548821920.2 101
91.08
 GitHub Action Run
3 run-3.10-python-ta-z3 - 26548821920.3 8
27.35
 GitHub Action Run
4 run-3.14-z3-solver - 26548821920.4 101
94.69
 GitHub Action Run
5 run-3.13-base - 26548821920.5 101
91.08
 GitHub Action Run
6 run-3.10-base - 26548821920.6 101
91.1
 GitHub Action Run
7 run-3.11-python-ta-z3 - 26548821920.7 8
27.35
 GitHub Action Run
8 run-3.13-z3-solver - 26548821920.8 101
94.7
 GitHub Action Run
9 run-3.10-z3-solver - 26548821920.9 101
94.73
 GitHub Action Run
10 run-3.11-base - 26548821920.10 101
91.1
 GitHub Action Run
11 run-3.14-python-ta-z3 - 26548821920.11 8
27.35
 GitHub Action Run
12 run-3.11-z3-solver - 26548821920.12 101
94.73
 GitHub Action Run
13 run-3.13-python-ta-z3 - 26548821920.13 8
27.35
 GitHub Action Run
14 run-3.12-z3-solver - 26548821920.14 101
94.7
 GitHub Action Run
15 run-3.14-base - 26548821920.15 101
91.06
 GitHub Action Run
Source Files on build 26548821920