Add configuration in a monadic way, for now used only to configure SMT2 debugging #2095
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)
11m 47s
cabal-check
3m 18s
Matrix: extra-tests
Matrix: nix-build
Annotations
1 warning
|
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).
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
hevm-x86_64-linux
Expired
|
14.7 MB |
|
|
hevm-x86_64-macos
Expired
|
17.6 MB |
|