Skip to content

Update dependency: deps/uv2nix #2785

Update dependency: deps/uv2nix

Update dependency: deps/uv2nix #2785

Triggered via pull request October 3, 2025 12:33
Status Cancelled
Total duration 2m 27s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

test-pr.yml

on: pull_request
Code Quality Checks
55s
Code Quality Checks
Version Bump
57s
Version Bump
Conformance Tests
58s
Conformance Tests
Prover Tests
0s
Prover Tests
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

6 errors
Nix (normal)
Canceling since a higher priority waiting request for Run Tests-refs/pull/736/merge exists
Conformance Tests
Canceling since a higher priority waiting request for Run Tests-refs/pull/736/merge exists
Prover Tests
Canceling since a higher priority waiting request for Run Tests-refs/pull/736/merge exists
Nix (ARM64)
The operation was canceled.
Nix (ARM64)
Canceling since a higher priority waiting request for Run Tests-refs/pull/736/merge exists
Run Tests
Canceling since a higher priority waiting request for Run Tests-refs/pull/736/merge exists