GHC (build, test, haddock) #220
aabounegmghc.yml
on: workflow_dispatch
Matrix: Build and test with GHC
Build and upload Haddock documentation (develop)
0s
Check Rzk formalizations
0s
Annotations
2 errors and 5 warnings
|
Build and test with GHC (macos-12)
The macOS-12 environment is deprecated, consider switching to macOS-13, macOS-14 (macos-latest) or macOS-15. For more details, see https://github.com/actions/runner-images/issues/10721
|
|
Build and test with GHC (macos-12)
GitHub Actions has encountered an internal error when running your job.
|
|
Build and test with GHC (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
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
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
rzk-Linux-X64.tar.gz
|
9.62 MB |
|
|
rzk-Windows-X64.tar.gz
|
13.4 MB |
|