Skip to content
Test

Update dependency: deps/mx-semantics_release #1443

Sign in to view logs

Update dependency: deps/mx-semantics_release

Update dependency: deps/mx-semantics_release #1443

Re-run triggered October 22, 2024 09:44
@bbyalcinkayabbyalcinkaya
#181
_update-deps/runtimeverification/mx-semantics
Status Failure
Total duration 52m 30s
Artifacts –

test.yml

on: pull_request
Code Quality Checks
2m 11s
Code Quality Checks
Version Bump
5s
Version Bump
Kmxwasm integration tests
52m 17s
Kmxwasm integration tests
Kmxwasm booster tests
38m 3s
Kmxwasm booster tests
Kasmer claim generation tests
39m 13s
Kasmer claim generation tests
Build and Test lemmas
1h 5m
Build and Test lemmas
Smoke tests
1h 17m
Smoke tests
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

6 errors
Kmxwasm booster tests
Process completed with exit code 2.
Smoke tests
--local can only be used inside a git repository
Smoke tests
Process completed with exit code 1.
Nix (self-macos-14)
Process completed with exit code 1.
Nix (self-hosted, linux, normal)
Process completed with exit code 1.
Kmxwasm integration tests
Process completed with exit code 2.