Update dependency: deps/mx-semantics_release #1341
Baltolitest.yml
on: pull_request
Code Quality Checks
1m 56s
Version Bump
6s
Kmxwasm integration tests
41s
Kmxwasm booster tests
32s
Kasmer claim generation tests
32s
Build and Test lemmas
32s
Smoke tests
32s
Matrix: Nix
Annotations
12 errors and 2 warnings
|
Kasmer claim generation tests
Canceling since a higher priority waiting request for 'Test-refs/pull/167/merge' exists
|
|
Kasmer claim generation tests
The operation was canceled.
|
|
Kmxwasm booster tests
Canceling since a higher priority waiting request for 'Test-refs/pull/167/merge' exists
|
|
Build and Test lemmas
Canceling since a higher priority waiting request for 'Test-refs/pull/167/merge' exists
|
|
Smoke tests
Canceling since a higher priority waiting request for 'Test-refs/pull/167/merge' exists
|
|
Smoke tests
Process completed with exit code 1.
|
|
Kmxwasm integration tests
Canceling since a higher priority waiting request for 'Test-refs/pull/167/merge' exists
|
|
Kmxwasm integration tests
Process completed with exit code 1.
|
|
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.
|
|
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.
|
|
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/
|