Abstraction refinement of ReadWord #1988
msoosethbuild.yml
on: pull_request
build (windows-latest)
10m 12s
cabal-check
3m 28s
Matrix: extra-tests
Matrix: nix-build
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
hevm-x86_64-linux
Expired
|
14.6 MB |
|
|
hevm-x86_64-macos
Expired
|
17.4 MB |
|