Merge pull request #191 from alicelogos/fix-tuple-patterns #217
ghc.yml
on: push
Matrix: Build and test with GHC
Build and upload Haddock documentation (develop)
19m 53s
Check Rzk formalizations
4s
Annotations
7 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)
A brownout will take place on November 11, 14:00 UTC - November 12, 00:00 UTC to raise awareness of the upcoming macOS-12 environment removal. For more details, see https://github.com/actions/runner-images/issues/10721
|
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
|
9.62 MB |
|
rzk-Windows-X64.tar.gz
|
13.4 MB |
|
rzk-macOS-X64.tar.gz
|
2.66 MB |
|