• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

pyta-uoft / pyta / 9879866987
92%
master: 94%

Build:
Build:
LAST BUILD BRANCH: issue-1284
DEFAULT BRANCH: master
Ran 10 Jul 2024 06:56PM UTC
Jobs 5
Files 44
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

10 Jul 2024 06:54PM UTC coverage: 91.583% (-0.2%) from 91.744%
9879866987

Pull #1056

github

web-flow
Merge 9f22958f5 into 976ea7ef7
Pull Request #1056: augment cfg with z3 vars

49 of 58 new or added lines in 4 files covered. (84.48%)

12 existing lines in 1 file now uncovered.

2905 of 3172 relevant lines covered (91.58%)

9.03 hits per line

Jobs
ID Job ID Ran Files Coverage
1 run-3.9 - 9879866987.1 10 Jul 2024 06:56PM UTC 0
91.1
GitHub Action Run
2 run-3.12 - 9879866987.2 10 Jul 2024 06:57PM UTC 0
91.43
GitHub Action Run
3 run-3.8 - 9879866987.3 10 Jul 2024 06:56PM UTC 0
91.1
GitHub Action Run
4 run-3.11 - 9879866987.4 10 Jul 2024 06:56PM UTC 0
91.39
GitHub Action Run
5 run-3.10 - 9879866987.5 10 Jul 2024 06:56PM UTC 0
91.4
GitHub Action Run
Source Files on build 9879866987
Detailed source file information is not available for this build.
  • Back to Repo
  • Github Actions Build #9879866987
  • Pull Request #1056
  • PR Base - master (#9864567042)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc