9
94%
master: 94%

Ran 01 Nov 2025 02:57PM UTC

Files 100

Run time 2s

Badge

Embed ▾

Committed 01 Nov 2025 02:23PM UTC coverage: 93.927%. Remained the same

Job # 18998068912.9

Build Type

push

github

Committed by

web-flow

Commit Message

build(deps): bump actions/download-artifact from 5 to 6 (#1260)

Bumps [actions/download-artifact](https://github.com/actions/download-artifact) from 5 to 6.
- [Release notes](https://github.com/actions/download-artifact/releases)
- [Commits](https://github.com/actions/download-artifact/compare/v5...v6)

---
updated-dependencies:
- dependency-name: actions/download-artifact
  dependency-version: '6'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Run Details

6960 of 7410 relevant lines covered (93.93%)

0.94 hits per line

pyta-uoft / pyta / 18998068912 / 9
94%
master: 94%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-3.11-z3-solver - 18998068912.9

pyta-uoft / pyta / 18998068912 / 9 94% master: 94%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-3.11-z3-solver - 18998068912.9

pyta-uoft / pyta / 18998068912 / 9
94%
master: 94%

README BADGES
x