Merge branch 'release-v0.7.0' into develop #92
ghc.yml
on: push
Matrix: Build and test with GHC
Build and upload Haddock documentation (develop)
18m 37s
Check Rzk formalizations
7s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
rzk-Linux-X64.tar.gz
Expired
|
4.61 MB |
|
rzk-Windows-X64.tar.gz
Expired
|
8.51 MB |
|
rzk-macOS-X64.tar.gz
Expired
|
1.33 MB |
|