10
94%
master: 94%

Ran 07 May 2025 01:11PM UTC

Files 100

Run time 3s

Badge

Embed ▾

Committed 07 May 2025 01:03PM UTC coverage: 91.228% (-0.5%) from 91.736%

Job # 14884075541.10

Build Type

push

github

Committed by

web-flow

Commit Message

Implemented live reloading for HTMLReporter using websockets (#1167)

Added aiohttp as a dependency and websocket-client as a dev dependency.

---------

Co-authored-by: Daniel Dervishi <d.dervishi@mail.utoronto.ca>

Run Details

6718 of 7364 relevant lines covered (91.23%)

0.91 hits per line

pyta-uoft / pyta / 14884075541 / 10
94%
master: 94%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-3.12-z3-solver - 14884075541.10

pyta-uoft / pyta / 14884075541 / 10 94% master: 94%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-3.12-z3-solver - 14884075541.10

pyta-uoft / pyta / 14884075541 / 10
94%
master: 94%

README BADGES
x