Update dependency: deps/mx-semantics_release #1415
rv-jenkinstest.yml
on: pull_request
Code Quality Checks
2m 0s
Version Bump
7s
Kmxwasm integration tests
42s
Kmxwasm booster tests
43s
Kasmer claim generation tests
42s
Build and Test lemmas
1m 37s
Smoke tests
1m 42s
Matrix: Nix
Annotations
14 errors
|
Nix (self-macos-14)
Canceling since a higher priority waiting request for 'Test-refs/pull/180/merge' exists
|
|
Nix (self-macos-14)
The operation was canceled.
|
|
Kmxwasm integration tests
Canceling since a higher priority waiting request for 'Test-refs/pull/180/merge' exists
|
|
Kmxwasm integration tests
Process completed with exit code 1.
|
|
Kasmer claim generation tests
Canceling since a higher priority waiting request for 'Test-refs/pull/180/merge' exists
|
|
Kasmer claim generation tests
Process completed with exit code 1.
|
|
Kmxwasm booster tests
Canceling since a higher priority waiting request for 'Test-refs/pull/180/merge' exists
|
|
Kmxwasm booster tests
Process completed with exit code 1.
|
|
Nix (self-hosted, linux, normal)
Canceling since a higher priority waiting request for 'Test-refs/pull/180/merge' exists
|
|
Nix (self-hosted, linux, normal)
The operation was canceled.
|
|
Build and Test lemmas
Canceling since a higher priority waiting request for 'Test-refs/pull/180/merge' exists
|
|
Build and Test lemmas
Process completed with exit code 1.
|
|
Smoke tests
Canceling since a higher priority waiting request for 'Test-refs/pull/180/merge' exists
|
|
Smoke tests
Process completed with exit code 1.
|