Skip to content

Merge pull request #184 from rzk-lang/fix-ci #205

Merge pull request #184 from rzk-lang/fix-ci

Merge pull request #184 from rzk-lang/fix-ci #205

Triggered via push May 2, 2024 14:06
Status Success
Total duration 40m 27s
Artifacts 3

ghc.yml

on: push
Matrix: Build and test with GHC
Build and upload Haddock documentation (develop)
16m 57s
Build and upload Haddock documentation (develop)
Check Rzk formalizations
9s
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.17 MB
rzk-Windows-X64.tar.gz Expired
13 MB
rzk-macOS-X64.tar.gz Expired
2.39 MB