Update dependency: deps/plugin #2971

Sign in to view logs

Triggered via pull request July 29, 2024 18:49

rv-jenkins

synchronize #347

_update-deps/runtimeverification/blockchain-k-plugin

Status Failure

Total duration 5m 54s

Artifacts –

test.yml

on: pull_request

Matrix: Nix / Build

Annotations

5 errors and 3 warnings

Nix / Build (MacM1, self-macos-12)

Process completed with exit code 1.

Nix / Build (macos-12, macos-12)

The job was canceled because "MacM1_self-macos-12" failed.

Nix / Build (ubuntu-latest, ubuntu-latest)

The job was canceled because "MacM1_self-macos-12" failed.

Nix / Build (ubuntu-latest, ubuntu-latest)

The operation was canceled.

Process completed with exit code 2.

Version Bump

The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Nix / Build (MacM1, self-macos-12)

The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/