Skip to content
Test

Update dependency: deps/k_release #207

Sign in to view logs

Update dependency: deps/k_release

Update dependency: deps/k_release #207

Triggered via pull request June 19, 2024 17:02
@rv-jenkinsrv-jenkins
synchronize #18
_update-deps/runtimeverification/k
Status Cancelled
Total duration 4m 0s
Artifacts –

test.yml

on: pull_request
Version Bump
7s
Version Bump
Code Quality Checks
40s
Code Quality Checks
Integration Tests
38s
Integration Tests
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
Integration Tests
Canceling since a higher priority waiting request for 'Test-refs/pull/18/merge' exists
Integration Tests
Process completed with exit code 1.
Integration Tests
The operation was canceled.
Code Quality Checks
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.