Merge pull request #185 from swamp-agr/main #215
fizrukghc.yml
on: push
Matrix: Build and test with GHC
Build and upload Haddock documentation (develop)
0s
Check Rzk formalizations
6s
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 |
|