Update dependency: deps/mx-semantics_release #1401
rv-jenkinstest.yml
on: pull_request
Code Quality Checks
2m 12s
Version Bump
5s
Kmxwasm integration tests
31s
Kmxwasm booster tests
30s
Kasmer claim generation tests
30s
Build and Test lemmas
30s
Smoke tests
29s
Matrix: Nix
Annotations
13 errors and 2 warnings
|
Nix (self-macos-14)
Canceling since a higher priority waiting request for 'Test-refs/pull/175/merge' exists
|
|
Nix (self-macos-14)
The operation was canceled.
|
|
Kmxwasm booster tests
Canceling since a higher priority waiting request for 'Test-refs/pull/175/merge' exists
|
|
Kmxwasm booster tests
Process completed with exit code 1.
|
|
Smoke tests
Canceling since a higher priority waiting request for 'Test-refs/pull/175/merge' exists
|
|
Smoke tests
Process completed with exit code 1.
|
|
Kmxwasm integration tests
Canceling since a higher priority waiting request for 'Test-refs/pull/175/merge' exists
|
|
Nix (self-hosted, linux, normal)
Canceling since a higher priority waiting request for 'Test-refs/pull/175/merge' exists
|
|
Nix (self-hosted, linux, normal)
The operation was canceled.
|
|
Kasmer claim generation tests
Canceling since a higher priority waiting request for 'Test-refs/pull/175/merge' exists
|
|
Kasmer claim generation tests
Process completed with exit code 1.
|
|
Build and Test lemmas
Canceling since a higher priority waiting request for 'Test-refs/pull/175/merge' exists
|
|
Build and Test lemmas
Process completed with exit code 1.
|
|
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/
|