Renaming evalProp to simplifyProp #2128
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)
13m 49s
cabal-check
4m 21s
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.5 MB |
|