Better SMT2 debugging #1993
Triggered via pull request
September 6, 2023 17:00
d-xo
Status
Failure
Total duration
15m 35s
Artifacts
–
build.yml
on: pull_request
build (windows-latest)
9m 53s
cabal-check
3m 35s
Matrix: extra-tests
Matrix: nix-build
Annotations
9 errors
|
nix-build (ubuntu-latest)
Process completed with exit code 1.
|
|
extra-tests (ubuntu-latest)
Process completed with exit code 1.
|
|
nix-build (macos-latest)
Process completed with exit code 1.
|
|
build (windows-latest):
src/EVM/Solvers.hs#L209
• Couldn't match type ‘ReaderT Text IO’ with ‘IO’
|
|
build (windows-latest):
src/EVM/Solvers.hs#L210
• Couldn't match type ‘ReaderT Text IO’ with ‘IO’
|
|
build (windows-latest):
src/EVM/Solvers.hs#L217
• Couldn't match expected type: IO a0
|
|
build (windows-latest):
src/EVM/Solvers.hs#L291
• Couldn't match type ‘IO’ with ‘ReaderT Text IO’
|
|
build (windows-latest)
Process completed with exit code 1.
|
|
extra-tests (macos-latest)
Process completed with exit code 1.
|