Skip to content

Skip typechecking when the decls have not changed #159

Skip typechecking when the decls have not changed

Skip typechecking when the decls have not changed #159

Triggered via pull request December 15, 2023 22:15
Status Success
Total duration 17m 55s
Artifacts 3

ghc.yml

on: pull_request
Matrix: Build and test with GHC
Build and upload Haddock documentation (develop)
0s
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