Test

Update dependency: deps/mx-semantics_release #1439

Sign in to view logs

Triggered via pull request September 12, 2024 12:31

synchronize #181

_update-deps/runtimeverification/mx-semantics

Status Failure

Total duration 1h 16m 14s

Artifacts –

test.yml

on: pull_request

Code Quality Checks

Kmxwasm integration tests

Kmxwasm booster tests

Kasmer claim generation tests

Build and Test lemmas

Matrix: Nix

Annotations

5 errors

Kmxwasm booster tests

Process completed with exit code 2.

Nix (self-macos-14)

Process completed with exit code 1.

Kmxwasm integration tests

Process completed with exit code 2.

Nix (self-hosted, linux, normal)

Process completed with exit code 1.

Smoke tests

Process completed with exit code 1.