Skip to content
Test PR

Update dependency: deps/k_release #293

Sign in to view logs

Update dependency: deps/k_release

Update dependency: deps/k_release #293

Triggered via pull request January 30, 2026 16:01
@rv-jenkinsrv-jenkins
synchronize #63
_update-deps/runtimeverification/k
Status Cancelled
Total duration 1m 34s
Artifacts –

test-pr.yml

on: pull_request
Code Quality Checks & Unit Tests
24s
Code Quality Checks & Unit Tests
Integration Tests
1m 31s
Integration Tests
Docker Tests
1m 30s
Docker Tests
Matrix: Nix Tests
Fit to window
Zoom out
Zoom in

Annotations

10 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.
Docker Tests
Canceling since a higher priority waiting request for Test PR-refs/pull/63/merge exists
Docker Tests
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.
Test PR
Canceling since a higher priority waiting request for Test PR-refs/pull/63/merge exists
Integration Tests
Canceling since a higher priority waiting request for Test PR-refs/pull/63/merge exists
Integration Tests
Process completed with exit code 1.
Integration Tests
The operation was canceled.