Skip to content

Merge branch 'release-v0.7.3' #164

Merge branch 'release-v0.7.3'

Merge branch 'release-v0.7.3' #164

Triggered via push December 16, 2023 11:06
Status Success
Total duration 18m 26s
Artifacts 3

ghc.yml

on: push
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

Annotations

1 warning
Build and test with GHC (windows-latest)
Cache save failed.

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