- description: |
Update GHC in Nix shell and HLS, and add GitHub action to verify HLS
# uncomment types applicable to the change:
type:
- test # fixes/modifies tests
- maintenance # not directly related to the code
Context
This PR updates HLS to the latest version and ensures that it works on the repo by adding a GitHub action that checks.
How to trust this PR
Probably best to just test that it works for you.
Checklist
[x] Commit sequence broadly makes sense and commits have useful messages
[x] New tests are added if needed and existing tests are updated. See Running tests for more details
Changelog
Context
This PR updates HLS to the latest version and ensures that it works on the repo by adding a GitHub action that checks.
How to trust this PR
Probably best to just test that it works for you.
Checklist