Skip to content

Add unique coverage and case-level sufficiency diagnostics (#14) #29

Add unique coverage and case-level sufficiency diagnostics (#14)

Add unique coverage and case-level sufficiency diagnostics (#14) #29

Triggered via push August 11, 2026 08:10
Status Success
Total duration 1m 22s
Artifacts 1

ci.yml

on: push
Lint, format and types
28s
Lint, format and types
Examples and benchmarks
29s
Examples and benchmarks
Build and verify distributions
33s
Build and verify distributions
Build documentation
25s
Build documentation
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Tests (ubuntu-latest, Python 3.12)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Artifacts

Produced during runtime
Name Size Digest
distributions
83.5 KB
sha256:3240f5602b2d94f171c9dfa6fb463a0a6b246e643bf1c6b05b2376c304a77c90