Skip to content
CI

[RFC] Constraint discovery using symbolic execution #2353

Sign in to view logs

[RFC] Constraint discovery using symbolic execution

[RFC] Constraint discovery using symbolic execution #2353

Triggered via pull request August 19, 2025 12:41
@gustavo-griecogustavo-grieco
synchronize #1409
gustavo-grieco:dev-constraint-discovery
Status Failure
Total duration 3m 13s
Artifacts –

ci.yml

on: pull_request
Matrix: build
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

7 errors and 1 notice
Build Echidna on ubuntu-latest
Process completed with exit code 1.
Build Echidna on macos-13
The operation was canceled.
Build Echidna on macos-13
The strategy configuration was canceled because "build.ubuntu-latest_bash___imag" failed
Build Echidna on windows-latest
The operation was canceled.
Build Echidna on windows-latest: lib/Echidna/SymExec/Helpers.hs#L14
The import of `Addr' from module `EVM.Types' is redundant
Build Echidna on windows-latest: lib/Echidna/SymExec/Helpers.hs#L9
The import of `Optics.Core' is redundant
Build Echidna on windows-latest
The strategy configuration was canceled because "build.ubuntu-latest_bash___imag" failed
Build Echidna on windows-latest
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677