Skip to content
Test

Update dependency: deps/mx-semantics_release #1424

Sign in to view logs

Update dependency: deps/mx-semantics_release

Update dependency: deps/mx-semantics_release #1424

Triggered via pull request August 27, 2024 09:03
@rv-jenkinsrv-jenkins
synchronize #181
_update-deps/runtimeverification/mx-semantics
Status Cancelled
Total duration 2m 53s
Artifacts –

test.yml

on: pull_request
Code Quality Checks
2m 28s
Code Quality Checks
Version Bump
4s
Version Bump
Kmxwasm integration tests
2s
Kmxwasm integration tests
Kmxwasm booster tests
5s
Kmxwasm booster tests
Kasmer claim generation tests
3s
Kasmer claim generation tests
Build and Test lemmas
5s
Build and Test lemmas
Smoke tests
2s
Smoke tests
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

14 errors
Nix (self-macos-14)
Canceling since a higher priority waiting request for 'Test-refs/pull/181/merge' exists
Nix (self-macos-14)
A task was canceled.
Kasmer claim generation tests
Canceling since a higher priority waiting request for 'Test-refs/pull/181/merge' exists
Kasmer claim generation tests
A task was canceled.
Kmxwasm integration tests
Canceling since a higher priority waiting request for 'Test-refs/pull/181/merge' exists
Kmxwasm integration tests
A task was canceled.
Nix (self-hosted, linux, normal)
Canceling since a higher priority waiting request for 'Test-refs/pull/181/merge' exists
Nix (self-hosted, linux, normal)
A task was canceled.
Smoke tests
Canceling since a higher priority waiting request for 'Test-refs/pull/181/merge' exists
Smoke tests
A task was canceled.
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.