Fix skipping to typechecking the next file if the current has an error #168
aabounegmghc.yml
on: pull_request
Matrix: Build and test with GHC
Build and upload Haddock documentation (develop)
0s
Check Rzk formalizations
4s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
rzk-Linux-X64.tar.gz
Expired
|
9.18 MB |
|
|
rzk-Windows-X64.tar.gz
Expired
|
13.1 MB |
|
|
rzk-macOS-X64.tar.gz
Expired
|
2.38 MB |
|