Skip to content
Test

Update dependency: deps/mx-semantics_release #1331

Sign in to view logs

Update dependency: deps/mx-semantics_release

Update dependency: deps/mx-semantics_release #1331

Triggered via pull request July 3, 2024 11:43
@rv-jenkinsrv-jenkins
synchronize #167
_update-deps/runtimeverification/mx-semantics
Status Cancelled
Total duration 6m 9s
Artifacts –

test.yml

on: pull_request
Code Quality Checks
2m 14s
Code Quality Checks
Version Bump
4s
Version Bump
Kmxwasm integration tests
1m 6s
Kmxwasm integration tests
Kmxwasm booster tests
2m 56s
Kmxwasm booster tests
Kasmer claim generation tests
1m 5s
Kasmer claim generation tests
Build and Test lemmas
1m 6s
Build and Test lemmas
Smoke tests
3m 41s
Smoke tests
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

12 errors and 2 warnings
Nix (self-macos-14)
Canceling since a higher priority waiting request for 'Test-refs/pull/167/merge' exists
Nix (self-hosted, linux, normal)
Canceling since a higher priority waiting request for 'Test-refs/pull/167/merge' exists
Nix (self-hosted, linux, normal)
The operation was canceled.
Kmxwasm integration tests
Canceling since a higher priority waiting request for 'Test-refs/pull/167/merge' exists
Build and Test lemmas
Canceling since a higher priority waiting request for 'Test-refs/pull/167/merge' exists
Build and Test lemmas
The operation was canceled.
Kasmer claim generation tests
Canceling since a higher priority waiting request for 'Test-refs/pull/167/merge' exists
Kasmer claim generation tests
Process completed with exit code 1.
Kmxwasm booster tests
Canceling since a higher priority waiting request for 'Test-refs/pull/167/merge' exists
Kmxwasm booster tests
Process completed with exit code 1.
Smoke tests
Canceling since a higher priority waiting request for 'Test-refs/pull/167/merge' exists
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/.