Build

SymEx: Restrict and sort imports #4417

Sign in to view logs

Triggered via pull request December 18, 2025 16:22

blishko

opened #954

import-cleanups

Status Cancelled

Total duration 6h 0m 23s

Artifacts 3

build.yml

on: pull_request

build (windows-latest)

Matrix: extra-tests

Matrix: nix-build

Annotations

2 errors

nix-build (osx-arm64)

The job has exceeded the maximum execution time of 6h0m0s

nix-build (osx-arm64)

The operation was canceled.

Artifacts

Produced during runtime

Name	Size	Digest
hevm-linux-x64	3.72 MB	`sha256:cccd24671344600e9c2f08195b1c2f24e84f982ed7714ce39823b9dab84985d7`
hevm-osx-x64	4.74 MB	`sha256:533215bdc480db7e047aa56785c2a6ea65f8505bea5809bc1b9965d514a2ab1b`
hevm-windows-x64	15.6 MB	`sha256:a1e39ac879b8077f5a1716b883de8cc1ecd76baa2de855fdd9b6094c3a286cd5`