Skip to content
Test PR

Update dependency: deps/k_release #283

Sign in to view logs

Update dependency: deps/k_release

Update dependency: deps/k_release #283

Triggered via pull request January 6, 2026 22:25
@rv-jenkinsrv-jenkins
opened #63
_update-deps/runtimeverification/k
Status Cancelled
Total duration 1m 29s
Artifacts –

test-pr.yml

on: pull_request
Code Quality Checks & Unit Tests
22s
Code Quality Checks & Unit Tests
Integration Tests
1m 25s
Integration Tests
Docker Tests
1m 26s
Docker Tests
Matrix: Nix Tests
Fit to window
Zoom out
Zoom in

Annotations

9 errors
Nix Tests (MacM1)
Canceling since a higher priority waiting request for Test PR-refs/pull/63/merge exists
Nix Tests (MacM1)
The operation was canceled.
Nix Tests (normal)
Canceling since a higher priority waiting request for Test PR-refs/pull/63/merge exists
Nix Tests (normal)
The operation was canceled.
Integration Tests
Canceling since a higher priority waiting request for Test PR-refs/pull/63/merge exists
Integration Tests
The operation was canceled.
Docker Tests
Canceling since a higher priority waiting request for Test PR-refs/pull/63/merge exists
Docker Tests
The operation was canceled.
Test PR
Canceling since a higher priority waiting request for Test PR-refs/pull/63/merge exists