Update dependency: deps/mx-semantics_release #1279
rv-jenkinstest.yml
on: pull_request
Code Quality Checks
41s
Version Bump
8s
Kmxwasm integration tests
5m 1s
Kmxwasm booster tests
9m 17s
Kasmer claim generation tests
8m 44s
Build and Test lemmas
4m 36s
Smoke tests
0s
Matrix: Nix
Annotations
8 errors and 2 warnings
|
Nix (self-macos-14)
Canceling since a higher priority waiting request for 'Test-refs/pull/159/merge' exists
|
|
Smoke tests
Canceling since a higher priority waiting request for 'Test-refs/pull/159/merge' exists
|
|
Nix (self-hosted, linux, normal)
Canceling since a higher priority waiting request for 'Test-refs/pull/159/merge' exists
|
|
Build and Test lemmas
Canceling since a higher priority waiting request for 'Test-refs/pull/159/merge' exists
|
|
Kasmer claim generation tests
Canceling since a higher priority waiting request for 'Test-refs/pull/159/merge' exists
|
|
Kmxwasm integration tests
Canceling since a higher priority waiting request for 'Test-refs/pull/159/merge' exists
|
|
Kmxwasm booster tests
Canceling since a higher priority waiting request for 'Test-refs/pull/159/merge' exists
|
|
Kmxwasm booster tests
The operation was canceled.
|
|
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/.
|