Run Tests

Update dependency: deps/kwasm_release #1241

Sign in to view logs

Triggered via pull request February 6, 2025 15:05

rv-jenkins

synchronize #328

_update-deps/runtimeverification/wasm-semantics

Status Failure

Total duration 45m 43s

Artifacts –

test-pr.yml

on: pull_request

Code Quality Checks

Matrix: Build using Nix

Annotations

5 errors

Build using Nix (normal)

Process completed with exit code 102.

Build using Nix (ARM64)

Process completed with exit code 1.

Feature Tests

Process completed with exit code 2.

The job running on runner github-runner-18 has exceeded the maximum execution time of 45 minutes.

The operation was canceled.