Skip to content

Update dependency: deps/uv2nix #2820

Update dependency: deps/uv2nix

Update dependency: deps/uv2nix #2820

Triggered via pull request December 15, 2025 14:48
Status Cancelled
Total duration 26s
Artifacts

test-pr.yml

on: pull_request
Code Quality Checks
22s
Code Quality Checks
Version Bump
9s
Version Bump
Conformance Tests
Conformance Tests
Prover Tests
Prover Tests
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Code Quality Checks
Canceling since a higher priority waiting request for Run Tests-refs/pull/743/merge exists
Code Quality Checks
The operation was canceled.
Run Tests
Canceling since a higher priority waiting request for Run Tests-refs/pull/743/merge exists