Update dependency: deps/mx-semantics_release #1435
Triggered via pull request
September 10, 2024 11:37
goodlyrottenapple
Status
Cancelled
Total duration
2m 25s
Artifacts
–
test.yml
on: pull_request
Code Quality Checks
1m 55s
Version Bump
4s
Kmxwasm integration tests
0s
Kmxwasm booster tests
0s
Kasmer claim generation tests
0s
Build and Test lemmas
0s
Smoke tests
0s
Matrix: Nix
Annotations
2 errors
|
Code Quality Checks
Canceling since a higher priority waiting request for 'Test-refs/pull/181/merge' exists
|
|
Code Quality Checks
The operation was canceled.
|