Update dependency: deps/pyk_release #1281
Triggered via pull request
November 13, 2023 16:29
Status
Cancelled
Total duration
4m 36s
Artifacts
–
test.yml
on: pull_request
Code Quality Checks
32s
Annotations
4 errors
Nix
Canceling since a higher priority waiting request for 'Test-refs/pull/256/merge' exists
|
Nix
The operation was canceled.
|
Integration Tests
Canceling since a higher priority waiting request for 'Test-refs/pull/256/merge' exists
|
Integration Tests
The operation was canceled.
|