Skip to content
Test

Update dependency: deps/mx-semantics_release #1431

Sign in to view logs

Update dependency: deps/mx-semantics_release

Update dependency: deps/mx-semantics_release #1431

Triggered via pull request September 10, 2024 11:13
@goodlyrottenapplegoodlyrottenapple
synchronize #181
_update-deps/runtimeverification/mx-semantics
Status Cancelled
Total duration 9m 51s
Artifacts –

test.yml

on: pull_request
Code Quality Checks
2m 4s
Code Quality Checks
Version Bump
8s
Version Bump
Kmxwasm integration tests
7m 33s
Kmxwasm integration tests
Kmxwasm booster tests
7m 33s
Kmxwasm booster tests
Kasmer claim generation tests
7m 32s
Kasmer claim generation tests
Build and Test lemmas
7m 32s
Build and Test lemmas
Smoke tests
6m 22s
Smoke tests
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

11 errors
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.
Kasmer claim generation tests
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)
The operation was canceled.
Kmxwasm booster tests
Canceling since a higher priority waiting request for 'Test-refs/pull/181/merge' exists
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.
Kmxwasm integration tests
Canceling since a higher priority waiting request for 'Test-refs/pull/181/merge' exists
Smoke tests
Canceling since a higher priority waiting request for 'Test-refs/pull/181/merge' exists
Smoke tests
Process completed with exit code 1.