Skip to content
Run Tests

Update dependency: deps/kwasm_release #1256

Sign in to view logs

Update dependency: deps/kwasm_release

Update dependency: deps/kwasm_release #1256

Triggered via pull request March 18, 2025 10:47
@rv-jenkinsrv-jenkins
synchronize #328
_update-deps/runtimeverification/wasm-semantics
Status Failure
Total duration 45m 43s
Artifacts –

test-pr.yml

on: pull_request
Version Bump
32s
Code Quality Checks
1m 31s
Tests
45m 16s
Feature Tests
16m 7s
Matrix: Build using Nix

Annotations

5 errors
Build using Nix (ARM64)
Process completed with exit code 1.
Build using Nix (normal)
Process completed with exit code 1.
Feature Tests
Process completed with exit code 2.
Tests
The job running on runner github-runner-24 has exceeded the maximum execution time of 45 minutes.
Tests
The operation was canceled.