Skip to content
CI

Merge branch 'main' into develop #137

Sign in to view logs

Merge branch 'main' into develop

Merge branch 'main' into develop #137

Triggered via push August 3, 2026 02:08
@MarTrepodiMarTrepodi
pushed 116c541
develop
Status Success
Total duration 37s
Artifacts 1

ci.yml

on: push
Lint
7s
Lint
Type Check
9s
Type Check
Docs
12s
Docs
Build
11s
Build
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

1 error and 3 warnings
Lint
Process completed with exit code 1.
Type Check
Failed to save: Unable to reserve cache with key setup-uv-2-x86_64-unknown-linux-gnu-ubuntu-24.04-3.12.3-pruned-1b9c50f27a67efe40fae1f5b3c6969e3ce0f7c6be2053d6fa3d52fe646de968e, another job may be creating this cache.
Build
Failed to save: Unable to reserve cache with key setup-uv-2-x86_64-unknown-linux-gnu-ubuntu-24.04-3.12.3-pruned-1b9c50f27a67efe40fae1f5b3c6969e3ce0f7c6be2053d6fa3d52fe646de968e, another job may be creating this cache.
Test (Python 3.11)
Failed to save: Unable to reserve cache with key setup-uv-2-x86_64-unknown-linux-gnu-ubuntu-24.04-3.12.3-pruned-1b9c50f27a67efe40fae1f5b3c6969e3ce0f7c6be2053d6fa3d52fe646de968e, another job may be creating this cache.

Artifacts

Produced during runtime
Name Size Digest
coverage-report
6.71 KB
sha256:f924067c43c4d1acbe15eaeb7bdc3420619b8d3407481d83ffd6ffbe496b0bbb