Update dependency: deps/mx-semantics_release #1428
Triggered via pull request
September 5, 2024 09:03
rv-jenkins
Status
Cancelled
Total duration
3m 5s
Artifacts
–
test.yml
on: pull_request
Code Quality Checks
2m 18s
Version Bump
4s
Kmxwasm integration tests
28s
Kmxwasm booster tests
28s
Kasmer claim generation tests
28s
Build and Test lemmas
28s
Smoke tests
28s
Matrix: Nix
Annotations
14 errors
|
Nix (self-hosted, linux, normal)
Canceling since a higher priority waiting request for 'Test-refs/pull/181/merge' exists
|
|
Nix (self-hosted, linux, normal)
The operation was canceled.
|
|
Nix (self-macos-14)
Canceling since a higher priority waiting request for 'Test-refs/pull/181/merge' exists
|
|
Nix (self-macos-14)
The operation was canceled.
|
|
Smoke tests
Canceling since a higher priority waiting request for 'Test-refs/pull/181/merge' exists
|
|
Smoke tests
Process completed with exit code 1.
|
|
Kasmer claim generation tests
Canceling since a higher priority waiting request for 'Test-refs/pull/181/merge' exists
|
|
Kasmer claim generation tests
Process completed with exit code 1.
|
|
Kmxwasm integration tests
Canceling since a higher priority waiting request for 'Test-refs/pull/181/merge' exists
|
|
Kmxwasm integration tests
Process completed with exit code 1.
|
|
Kmxwasm booster tests
Canceling since a higher priority waiting request for 'Test-refs/pull/181/merge' exists
|
|
Kmxwasm booster tests
Process completed with exit code 1.
|
|
Build and Test lemmas
Canceling since a higher priority waiting request for 'Test-refs/pull/181/merge' exists
|
|
Build and Test lemmas
Process completed with exit code 1.
|