Update dependency: deps/mx-semantics_release #1355
rv-jenkinstest.yml
on: pull_request
Code Quality Checks
1m 56s
Version Bump
3s
Kmxwasm integration tests
1m 13s
Kmxwasm booster tests
1m 14s
Kasmer claim generation tests
1m 13s
Build and Test lemmas
1m 13s
Smoke tests
1m 54s
Matrix: Nix
Annotations
10 errors and 2 warnings
|
Nix (self-macos-14)
Canceling since a higher priority waiting request for 'Test-refs/pull/167/merge' exists
|
|
Nix (self-macos-14)
The operation was canceled.
|
|
Build and Test lemmas
Canceling since a higher priority waiting request for 'Test-refs/pull/167/merge' exists
|
|
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
|
|
Kmxwasm integration tests
Canceling since a higher priority waiting request for 'Test-refs/pull/167/merge' exists
|
|
Kmxwasm integration tests
The operation was canceled.
|
|
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.
|
|
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/
|