Test

Update dependency: deps/mx-semantics_release #1332

Sign in to view logs

Triggered via pull request July 3, 2024 11:46

rv-jenkins

synchronize #167

_update-deps/runtimeverification/mx-semantics

Status Failure

Total duration 47m 23s

Artifacts –

test.yml

on: pull_request

Code Quality Checks

Kmxwasm integration tests

Kmxwasm booster tests

Kasmer claim generation tests

Build and Test lemmas

Matrix: Nix

Annotations

5 errors and 9 warnings

Nix (self-macos-14)

Process completed with exit code 1.

Nix (self-hosted, linux, normal)

Process completed with exit code 1.

Kmxwasm integration tests

Process completed with exit code 2.

Kmxwasm booster tests

Process completed with exit code 2.

Smoke tests

Process completed with exit code 1.

Version Bump

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/.

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/.

Nix (self-macos-14)

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/.

Nix (self-hosted, linux, normal)

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/.

Kmxwasm integration tests

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/.

Kasmer claim generation tests

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/.

Build and Test lemmas

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/.

Kmxwasm booster tests

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/.

Smoke tests

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/.