Skip to content

Merge pull request #124 from deemp/develop #57

Merge pull request #124 from deemp/develop

Merge pull request #124 from deemp/develop #57

Triggered via push October 6, 2023 21:53
Status Success
Total duration 55m 51s
Artifacts 3

ghc.yml

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

Artifacts

Produced during runtime
Name Size
rzk-Linux-X64.tar.gz Expired
9.16 MB
rzk-Windows-X64.tar.gz Expired
12.8 MB
rzk-macOS-X64.tar.gz Expired
2.37 MB