Skip to content

Stop typechecking after a parse error in some file (avoid invalid cache) #161

Stop typechecking after a parse error in some file (avoid invalid cache)

Stop typechecking after a parse error in some file (avoid invalid cache) #161

Triggered via push December 16, 2023 10:39
Status Success
Total duration 36m 51s
Artifacts 3

ghc.yml

on: push
Matrix: Build and test with GHC
Build and upload Haddock documentation (develop)
18m 41s
Build and upload Haddock documentation (develop)
Check Rzk formalizations
7s
Check Rzk formalizations
Fit to window
Zoom out
Zoom in

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