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

pyta-uoft / pyta / 16784165820
93%
master: 94%

Build:
Build:
LAST BUILD BRANCH: infinite-loop-checker-generator-tests
DEFAULT BRANCH: master
Ran 06 Aug 2025 05:41PM UTC
Jobs 10
Files 54
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

06 Aug 2025 05:35PM UTC coverage: 93.565%. Remained the same
16784165820

Pull #1213

github

web-flow
Merge 50303a463 into 90198a5ff
Pull Request #1213: Improve Colours for both HTML Reporter Light and Dark Themes

3533 of 3776 relevant lines covered (93.56%)

17.66 hits per line

Jobs
ID Job ID Ran Files Coverage
1 run-3.10-base - 16784165820.1 06 Aug 2025 05:43PM UTC 104
85.22
GitHub Action Run
2 run-3.10-z3-solver - 16784165820.2 06 Aug 2025 05:42PM UTC 104
91.9
GitHub Action Run
3 run-3.13-base - 16784165820.3 06 Aug 2025 05:41PM UTC 104
85.2
GitHub Action Run
4 run-3.12-base - 16784165820.4 06 Aug 2025 05:44PM UTC 104
85.2
GitHub Action Run
5 run-3.9-z3-solver - 16784165820.5 06 Aug 2025 05:43PM UTC 104
90.82
GitHub Action Run
6 run-3.9-base - 16784165820.6 06 Aug 2025 05:41PM UTC 104
84.11
GitHub Action Run
7 run-3.13-z3-solver - 16784165820.7 06 Aug 2025 05:44PM UTC 104
91.84
GitHub Action Run
8 run-3.12-z3-solver - 16784165820.8 06 Aug 2025 05:45PM UTC 104
91.84
GitHub Action Run
9 run-3.11-z3-solver - 16784165820.9 06 Aug 2025 05:42PM UTC 104
91.87
GitHub Action Run
10 run-3.11-base - 16784165820.10 06 Aug 2025 05:44PM UTC 104
85.22
GitHub Action Run
Source Files on build 16784165820
  • Tree
  • List 54
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • Github Actions Build #16784165820
  • Pull Request #1213
  • PR Base - master (#16738880688)
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