Skip to content

Merge branch 'release-v0.7.1' into develop #100

Merge branch 'release-v0.7.1' into develop

Merge branch 'release-v0.7.1' into develop #100

Triggered via push December 8, 2023 14:07
Status Success
Total duration 37m 26s
Artifacts 3

ghc.yml

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

Artifacts

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