Merge pull request #1266 from GaloisInc/T1024-crucible-syntax-exotic-… #1355
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@v4 | |
| 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 |