Skip to content
Test

Update dependency: deps/mx-semantics_release #1445

Sign in to view logs

Update dependency: deps/mx-semantics_release

Update dependency: deps/mx-semantics_release #1445

Triggered via pull request October 22, 2024 13:32
@rv-jenkinsrv-jenkins
synchronize #181
_update-deps/runtimeverification/mx-semantics
Status Failure
Total duration 1h 8m 1s
Artifacts –

test.yml

on: pull_request
Code Quality Checks
2m 11s
Code Quality Checks
Version Bump
4s
Version Bump
Kmxwasm integration tests
1h 5m
Kmxwasm integration tests
Kmxwasm booster tests
57m 30s
Kmxwasm booster tests
Kasmer claim generation tests
56m 42s
Kasmer claim generation tests
Build and Test lemmas
1h 2m
Build and Test lemmas
Smoke tests
48m 5s
Smoke tests
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Nix (self-macos-14)
Process completed with exit code 1.
Smoke tests
Process completed with exit code 1.
Nix (self-hosted, linux, normal)
Process completed with exit code 1.
Kmxwasm booster tests
Process completed with exit code 2.
Kmxwasm integration tests
Process completed with exit code 2.