Skip to content

Symbolic execution queue #4340

Symbolic execution queue

Symbolic execution queue #4340

Triggered via pull request November 18, 2025 14:27
Status Cancelled
Total duration 25m 48s
Artifacts 1

build.yml

on: pull_request
Matrix: extra-tests
Matrix: nix-build
Fit to window
Zoom out
Zoom in

Annotations

11 errors
extra-tests (ubuntu-latest)
Process completed with exit code 1.
extra-tests (macos-15)
Process completed with exit code 1.
nix-build (osx-arm64)
Canceling since a higher priority waiting request for Build-refs/pull/906/merge exists
nix-build (osx-arm64)
The operation was canceled.
nix-build (linux-x64)
Canceling since a higher priority waiting request for Build-refs/pull/906/merge exists
nix-build (linux-x64)
The operation was canceled.
nix-build (osx-x64)
Canceling since a higher priority waiting request for Build-refs/pull/906/merge exists
nix-build (osx-x64)
The operation was canceled.
build (windows-latest)
Canceling since a higher priority waiting request for Build-refs/pull/906/merge exists
build (windows-latest)
The operation was canceled.
Build
Canceling since a higher priority waiting request for Build-refs/pull/906/merge exists

Artifacts

Produced during runtime
Name Size Digest
hevm-windows-x64
15.5 MB
sha256:6e20e74ce81a02b355bf07495095a14e2e9dce45dbefbca74f8255fd75663312