Add configuration in a monadic way, for now used only to configure SMT2 debugging #2113
msooseth
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
build.yml
on: pull_request
build (windows-latest)
30m 16s
cabal-check
27m 59s
Matrix: extra-tests
Matrix: nix-build
Annotations
4 warnings
|
build (windows-latest)
Failed to restore: Cache service responded with 429
|
|
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)
Failed to restore: Cache service responded with 429
|
|
build (windows-latest)
Cache save failed.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
hevm-x86_64-linux
Expired
|
14.7 MB |
|
|
hevm-x86_64-macos
Expired
|
17.6 MB |
|