Skip to content
Test

Update dependency: deps/mx-semantics_release #1379

Sign in to view logs

Update dependency: deps/mx-semantics_release

Update dependency: deps/mx-semantics_release #1379

Triggered via pull request July 18, 2024 13:27
@rv-jenkinsrv-jenkins
synchronize #171
_update-deps/runtimeverification/mx-semantics
Status Cancelled
Total duration 2m 48s
Artifacts –

test.yml

on: pull_request
Code Quality Checks
2m 19s
Code Quality Checks
Version Bump
6s
Version Bump
Kmxwasm integration tests
11s
Kmxwasm integration tests
Kmxwasm booster tests
6s
Kmxwasm booster tests
Kasmer claim generation tests
6s
Kasmer claim generation tests
Build and Test lemmas
7s
Build and Test lemmas
Smoke tests
6s
Smoke tests
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

20 errors and 2 warnings
Kasmer claim generation tests
Canceling since a higher priority waiting request for 'Test-refs/pull/171/merge' exists
Nix (self-macos-14)
Canceling since a higher priority waiting request for 'Test-refs/pull/171/merge' exists
Kasmer claim generation tests
Process completed with exit code 1.
Nix (self-macos-14)
The operation was canceled.
Smoke tests
Canceling since a higher priority waiting request for 'Test-refs/pull/171/merge' exists
Smoke tests
The operation was canceled.
Smoke tests
Process completed with exit code 1.
Build and Test lemmas
Canceling since a higher priority waiting request for 'Test-refs/pull/171/merge' exists
Build and Test lemmas
The operation was canceled.
Build and Test lemmas
Process completed with exit code 1.
Nix (self-hosted, linux, normal)
Canceling since a higher priority waiting request for 'Test-refs/pull/171/merge' exists
Nix (self-hosted, linux, normal)
The operation was canceled.
Kmxwasm booster tests
Canceling since a higher priority waiting request for 'Test-refs/pull/171/merge' exists
Kmxwasm booster tests
not a git repository (or any of the parent directories): .git
Kmxwasm booster tests
Process completed with exit code 128.
Kmxwasm booster tests
The operation was canceled.
Kmxwasm booster tests
Process completed with exit code 1.
Kmxwasm integration tests
Canceling since a higher priority waiting request for 'Test-refs/pull/171/merge' exists
Kmxwasm integration tests
Process completed with exit code 1.
Kmxwasm integration tests
The operation was canceled.
Version Bump
The following actions uses Node.js version which is deprecated 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/
Code Quality Checks
The following actions uses Node.js version which is deprecated 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/