pyta-uoft / pyta / 18998068912
94%

DEFAULT BRANCH: master
Ran
Jobs 10
Files 52
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: 94.222%. Remained the same
Jobs
ID Job ID Ran Files Coverage
1 run-3.13-base - 18998068912.1 100
85.7
 GitHub Action Run
2 run-3.13-z3-solver - 18998068912.2 100
93.9
 GitHub Action Run
3 run-3.9-z3-solver - 18998068912.3 100
92.86
 GitHub Action Run
4 run-3.12-base - 18998068912.4 100
85.7
 GitHub Action Run
5 run-3.12-z3-solver - 18998068912.5 100
93.9
 GitHub Action Run
6 run-3.11-base - 18998068912.6 100
85.72
 GitHub Action Run
7 run-3.9-base - 18998068912.7 100
84.59
 GitHub Action Run
8 run-3.10-base - 18998068912.8 100
85.72
 GitHub Action Run
9 run-3.11-z3-solver - 18998068912.9 100
93.93
 GitHub Action Run
10 run-3.10-z3-solver - 18998068912.10 100
93.95
 GitHub Action Run
Source Files on build 18998068912