Skip to content
Test

Update dependency: deps/plugin #2969

Sign in to view logs

Update dependency: deps/plugin

Update dependency: deps/plugin #2969

Triggered via pull request July 26, 2024 17:31
@rv-jenkinsrv-jenkins
synchronize #347
_update-deps/runtimeverification/blockchain-k-plugin
Status Failure
Total duration 6m 27s
Artifacts –

test.yml

on: pull_request
Version Bump
3s
Version Bump
Test PR
5m 22s
Test PR
Matrix: Nix / Build
Fit to window
Zoom out
Zoom in

Annotations

6 errors and 3 warnings
Nix / Build (MacM1, self-macos-12)
Process completed with exit code 1.
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.
Nix / Build (macos-12, macos-12)
The job was canceled because "MacM1_self-macos-12" failed.
Nix / Build (macos-12, macos-12)
The operation was canceled.
Test PR
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/
Test PR
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/