Skip to content
Test PR

Update dependency: deps/k_release #366

Sign in to view logs

Update dependency: deps/k_release

Update dependency: deps/k_release #366

Triggered via pull request February 22, 2024 19:25
@rv-jenkinsrv-jenkins
synchronize #165
_update-deps/runtimeverification/k
Status Failure
Total duration 3m 55s
Artifacts –

test-pr.yml

on: pull_request
Build and test Blockchain Plugin
3m 45s
Build and test Blockchain Plugin
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Build and test Blockchain Plugin
Process completed with exit code 2.
Build and test Blockchain Plugin
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/.