Merge pull request #1125 from langston-barrett/lb/llvm-cli-overrides #1043
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: uc-crux-llvm-lint | |
| on: | |
| push: | |
| branches: [master, "release-**"] | |
| pull_request: | |
| workflow_dispatch: | |
| jobs: | |
| lint: | |
| runs-on: ubuntu-20.04 | |
| name: uc-crux-llvm lint | |
| steps: | |
| - uses: actions/checkout@v2 | |
| with: | |
| submodules: false | |
| - shell: bash | |
| run: | | |
| curl --location -o hlint.tar.gz \ | |
| https://github.com/ndmitchell/hlint/releases/download/v3.3/hlint-3.3-x86_64-linux.tar.gz | |
| tar xvf hlint.tar.gz | |
| (cd crucible-cli/; ../hlint-3.3/hlint app src test) | |
| (cd crucible-llvm-cli/; ../hlint-3.3/hlint app src test) | |
| (cd crucible-llvm-syntax/; ../hlint-3.3/hlint src test) | |
| cd uc-crux-llvm/ | |
| ../hlint-3.3/hlint exe src test | |
| - uses: mrkkrp/ormolu-action@v2 | |
| # This is currently disabled, since it complains about | |
| # problems in uc-crux-llvm (without many details) that | |
| # GHC says don't exist. 2021 June 07 | |
| if: false | |
| with: | |
| pattern: | | |
| uc-crux-llvm/exe/**/*.hs | |
| uc-crux-llvm/src/**/*.hs | |
| uc-crux-llvm/test/**/*.hs |