25320703274
90%

Ran 04 May 2026 01:09PM UTC

Jobs 15

Files 56

Run time 1min

Badge

Embed ▾

Committed 04 May 2026 01:05PM UTC coverage: 89.995%. Remained the same

Build # 25320703274

Build Type

push

github

Committed by

web-flow

Commit Message

build(deps): bump actions/cache from 5.0.4 to 5.0.5 (#1335)

Bumps [actions/cache](https://github.com/actions/cache) from 5.0.4 to 5.0.5.
- [Release notes](https://github.com/actions/cache/releases)
- [Changelog](https://github.com/actions/cache/blob/main/RELEASES.md)
- [Commits](https://github.com/actions/cache/compare/v5.0.4...v5.0.5)

---
updated-dependencies:
- dependency-name: actions/cache
  dependency-version: 5.0.5
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

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

Coverage Stats

3481 of 3868 relevant lines covered (89.99%)

17.45 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	run-3.13-z3-solver - 25320703274.1	04 May 2026 01:10PM UTC	101	94.15	GitHub Action Run
2	run-3.13-base - 25320703274.2	04 May 2026 01:10PM UTC	101	90.45	GitHub Action Run
3	run-3.10-python-ta-z3 - 25320703274.3	04 May 2026 01:11PM UTC	8	27.35	GitHub Action Run
4	run-3.13-python-ta-z3 - 25320703274.4	04 May 2026 01:10PM UTC	8	27.35	GitHub Action Run
5	run-3.14-base - 25320703274.5	04 May 2026 01:09PM UTC	101	90.43	GitHub Action Run
6	run-3.11-base - 25320703274.6	04 May 2026 01:10PM UTC	101	90.42	GitHub Action Run
7	run-3.11-python-ta-z3 - 25320703274.7	04 May 2026 01:10PM UTC	8	27.35	GitHub Action Run
8	run-3.11-z3-solver - 25320703274.8	04 May 2026 01:10PM UTC	101	94.12	GitHub Action Run
9	run-3.10-z3-solver - 25320703274.9	04 May 2026 01:11PM UTC	101	94.12	GitHub Action Run
10	run-3.12-z3-solver - 25320703274.10	04 May 2026 01:13PM UTC	101	94.15	GitHub Action Run
11	run-3.14-z3-solver - 25320703274.11	04 May 2026 01:09PM UTC	101	94.14	GitHub Action Run
12	run-3.10-base - 25320703274.12	04 May 2026 01:11PM UTC	101	90.42	GitHub Action Run
13	run-3.14-python-ta-z3 - 25320703274.13	04 May 2026 01:09PM UTC	8	27.35	GitHub Action Run
14	run-3.12-python-ta-z3 - 25320703274.14	04 May 2026 01:12PM UTC	8	27.35	GitHub Action Run
15	run-3.12-base - 25320703274.15	04 May 2026 01:12PM UTC	101	90.45	GitHub Action Run

pyta-uoft / pyta / 25320703274
90%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 25320703274

pyta-uoft / pyta / 25320703274 90%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 25320703274

pyta-uoft / pyta / 25320703274
90%

README BADGES
x