Skip to content
Run Tests

Update dependency: deps/kwasm_release #1237

Sign in to view logs

Update dependency: deps/kwasm_release

Update dependency: deps/kwasm_release #1237

Triggered via pull request December 20, 2024 20:45
@rv-jenkinsrv-jenkins
synchronize #328
_update-deps/runtimeverification/wasm-semantics
Status Failure
Total duration 32m 18s
Artifacts –

test-pr.yml

on: pull_request
Version Bump
8s
Version Bump
Code Quality Checks
1m 43s
Code Quality Checks
Tests
17m 18s
Tests
Feature Tests
31m 54s
Feature Tests
Matrix: Build using Nix
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
Build using Nix (ARM64)
Process completed with exit code 1.
Build using Nix (normal)
Process completed with exit code 1.
Tests
Process completed with exit code 137.
Code Quality Checks
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636