Update dependency: deps/mx-semantics_release #1442
Triggered via pull request
October 21, 2024 08:03
rv-jenkins
Status
Cancelled
Total duration
2m 53s
Artifacts
–
test.yml
on: pull_request
Code Quality Checks
2m 12s
Version Bump
3s
Kmxwasm integration tests
11s
Kmxwasm booster tests
24s
Kasmer claim generation tests
16s
Build and Test lemmas
18s
Smoke tests
17s
Matrix: Nix
Annotations
19 errors
|
Nix (self-macos-14)
Canceling since a higher priority waiting request for 'Test-refs/pull/181/merge' exists
|
|
Nix (self-hosted, linux, normal)
Canceling since a higher priority waiting request for 'Test-refs/pull/181/merge' exists
|
|
Nix (self-hosted, linux, normal)
not a git repository (or any of the parent directories): .git
|
|
Nix (self-hosted, linux, normal)
Process completed with exit code 128.
|
|
Nix (self-hosted, linux, normal)
The operation was canceled.
|
|
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 integration tests
The operation was canceled.
|
|
Kasmer claim generation tests
Canceling since a higher priority waiting request for 'Test-refs/pull/181/merge' exists
|
|
Kasmer claim generation tests
The operation was canceled.
|
|
Kasmer claim generation tests
Process completed with exit code 1.
|
|
Smoke tests
Canceling since a higher priority waiting request for 'Test-refs/pull/181/merge' exists
|
|
Smoke tests
The operation was canceled.
|
|
Smoke 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
The operation was canceled.
|
|
Build and Test lemmas
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.
|