Test PR

Update dependency: deps/z3_version #868

Sign in to view logs

Re-run triggered August 14, 2024 18:24

ehildenb

#193

_update-deps/runtimeverification/z3-images

Status Failure

Total duration 24s

Artifacts –

test-pr.yml

on: pull_request

Code Quality Checks

Build and test Blockchain Plugin

Matrix: Nix

Annotations

2 errors and 1 warning

Build and test Blockchain Plugin

Process completed with exit code 1.

Build and test Blockchain Plugin

Process completed with exit code 1.

Build and test Blockchain Plugin

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/