Skip to content
Run Tests

Update dependency: deps/k_release #1258

Sign in to view logs

Update dependency: deps/k_release

Update dependency: deps/k_release #1258

Triggered via pull request January 24, 2024 13:45
@rv-jenkinsrv-jenkins
synchronize #565
_update-deps/runtimeverification/k
Status Cancelled
Total duration 2m 17s
Artifacts –

test-pr.yml

on: pull_request
Code Quality Checks
1m 3s
Code Quality Checks
Unit Tests
51s
Unit Tests
Integration Tests
54s
Integration Tests
Parser Tests
0s
Parser Tests
Prover Tests
0s
Prover Tests
Conformance Tests
0s
Conformance Tests
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Unit Tests
Canceling since a higher priority waiting request for 'Run Tests-refs/pull/565/merge' exists
Unit Tests
The operation was canceled.
Integration Tests
Canceling since a higher priority waiting request for 'Run Tests-refs/pull/565/merge' exists
Integration Tests
The operation was canceled.
Integration Tests
Process completed with exit code 1.