Update dependency: deps/mx-semantics_release #1336
rv-jenkinstest.yml
on: pull_request
Code Quality Checks
2m 17s
Version Bump
4s
Kmxwasm integration tests
0s
Kmxwasm booster tests
0s
Kasmer claim generation tests
0s
Build and Test lemmas
0s
Smoke tests
0s
Matrix: Nix
Annotations
7 errors and 2 warnings
|
Kasmer claim generation tests
Canceling since a higher priority waiting request for 'Test-refs/pull/167/merge' exists
|
|
Kmxwasm booster 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
|
|
Kmxwasm integration tests
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-macos-14)
Canceling since a higher priority waiting request for 'Test-refs/pull/167/merge' exists
|
|
Smoke tests
Canceling since a higher priority waiting request for 'Test-refs/pull/167/merge' exists
|
|
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/
|