Skip to content
ci

Re-derive every quoted claim now that four of the five seams are closed #2

Sign in to view logs

Re-derive every quoted claim now that four of the five seams are closed

Re-derive every quoted claim now that four of the five seams are closed #2

Triggered via push July 28, 2026 15:44
@Shashankss1205Shashankss1205
pushed a4235d7
main
Status Failure
Total duration 2m 18s
Artifacts 1

ci.yml

on: push
lint
10s
lint
live tests stay opt-in
22s
live tests stay opt-in
build and check the distribution
17s
build and check the distribution
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 6 warnings
test (py3.13)
Process completed with exit code 1.
test (py3.14)
Process completed with exit code 1.
test (py3.12)
Process completed with exit code 1.
lint
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, astral-sh/setup-uv@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
build and check the distribution
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/upload-artifact@v4, astral-sh/setup-uv@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
live tests stay opt-in
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, astral-sh/setup-uv@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
test (py3.13)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, astral-sh/setup-uv@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
test (py3.14)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, astral-sh/setup-uv@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
test (py3.12)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, astral-sh/setup-uv@v5. 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
dist
925 KB
sha256:0e38ac2c8ed7f607c1c5d84b226ea3c0097202c7925541de21f7c5525a829ac0