crucible-llvm-syntax: Concrete syntax for Crucible-LLVM #1002
Workflow file for this run
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 | |
| pushd crucible-llvm-syntax/ | |
| ../hlint-3.3/hlint src test | |
| popd | |
| 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 |