Skip to content

Improve error reporting for unused variables #207

Improve error reporting for unused variables

Improve error reporting for unused variables #207

Triggered via push August 17, 2024 22:01
Status Failure
Total duration 33s
Artifacts

ghc.yml

on: push
Matrix: Build and test with GHC
Build and upload Haddock documentation (develop)
0s
Build and upload Haddock documentation (develop)
Check Rzk formalizations
0s
Check Rzk formalizations
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 1 warning
Build and test with GHC (macos-latest)
Process completed with exit code 127.
Build and test with GHC (windows-latest)
The job was canceled because "macos-latest" failed.
Build and test with GHC (windows-latest)
The operation was canceled.
Build and test with GHC (ubuntu-latest)
The job was canceled because "macos-latest" failed.
Build and test with GHC (macos-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/