14
91%
master: 91%

Ran 15 Apr 2026 02:13PM UTC

Files 101

Run time 4s

Badge

Embed ▾

Committed 15 Apr 2026 01:47PM UTC coverage: 94.148%. Remained the same

Job # 24458202705.14

Build Type

push

github

Committed by

web-flow

Commit Message

Skip no-commit-to-branch prek hook in CI (#1333)

The hook incorrectly fails when CI runs on push to master after merging a PR.
Skipping it in CI is safe since the hook is only meaningful as a local safeguard.

Co-authored-by: Claude Sonnet 4.6 <noreply@anthropic.com>

Coverage Stats

6822 of 7246 relevant lines covered (94.15%)

0.94 hits per line

pyta-uoft / pyta / 24458202705 / 14
91%
master: 91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-3.13-z3-solver - 24458202705.14

pyta-uoft / pyta / 24458202705 / 14 91% master: 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-3.13-z3-solver - 24458202705.14

pyta-uoft / pyta / 24458202705 / 14
91%
master: 91%

README BADGES
x