Skip to content

Merge pull request #438 from richardsheridan/prov #1587

Merge pull request #438 from richardsheridan/prov

Merge pull request #438 from richardsheridan/prov #1587

Triggered via push October 20, 2024 18:12
Status Success
Total duration 2m 47s
Artifacts 20

ci.yml

on: push
Matrix: Examples
Verify requirement pinning
15s
Verify requirement pinning
Formatting and linting
22s
Formatting and linting
Merge-Dependabot
0s
Merge-Dependabot
Matrix: Test
Test [test] extra
24s
Test [test] extra
All checks and tests
6s
All checks and tests
Release on PyPI, Attest, and Update GitHub
0s
Release on PyPI, Attest, and Update GitHub
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
Coverage-macos-latest-3.10
194 KB
Coverage-macos-latest-3.11
194 KB
Coverage-macos-latest-3.12
195 KB
Coverage-macos-latest-3.13
195 KB
Coverage-macos-latest-3.9
185 KB
Coverage-ubuntu-latest-3.10
188 KB
Coverage-ubuntu-latest-3.11
191 KB
Coverage-ubuntu-latest-3.12
189 KB
Coverage-ubuntu-latest-3.13
190 KB
Coverage-ubuntu-latest-3.9
182 KB
Coverage-ubuntu-latest-pypy-3.10
190 KB
Coverage-windows-latest-3.10
115 KB
Coverage-windows-latest-3.11
117 KB
Coverage-windows-latest-3.12
117 KB
Coverage-windows-latest-3.13
116 KB
Coverage-windows-latest-3.9
112 KB
Package Metadata
3.77 KB
Packages
85.9 KB
PyPI README
3.13 KB
Report
125 KB