Skip to content

Add configuration in a monadic way, for now used only to configure SMT2 debugging #2162

Add configuration in a monadic way, for now used only to configure SMT2 debugging

Add configuration in a monadic way, for now used only to configure SMT2 debugging #2162

Triggered via pull request October 25, 2023 16:20
Status Failure
Total duration 44m 46s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

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

Annotations

2 errors and 4 warnings
nix-build (ubuntu-latest)
Process completed with exit code 1.
nix-build (macos-latest)
Process completed with exit code 1.
build (windows-latest)
Failed to restore: Cache service responded with 429
build (windows-latest): src/EVM/Fetch.hs#L32
The import of ‘Control.Monad.IO.Unlift’ is redundant
build (windows-latest)
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
build (windows-latest)
Cache save failed.