Skip to content

Merge branch 'release-v0.7.5' into develop #214

Merge branch 'release-v0.7.5' into develop

Merge branch 'release-v0.7.5' into develop #214

Triggered via push August 18, 2024 06:35
Status Success
Total duration 46m 25s
Artifacts 3

ghc.yml

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

Annotations

6 warnings
Build and test with GHC (ubuntu-latest)
No cache found
Build and test with GHC (ubuntu-latest)
No cache found
Build and test with GHC (windows-latest)
No cache found
Build and test with GHC (windows-latest)
No cache found
Build and test with GHC (macos-12)
No cache found
Build and test with GHC (macos-12)
No cache found

Artifacts

Produced during runtime
Name Size
rzk-Linux-X64.tar.gz Expired
9.62 MB
rzk-Windows-X64.tar.gz Expired
13.4 MB
rzk-macOS-X64.tar.gz Expired
2.66 MB