Mir.Intrinsics: Don't pass SimState when SymGlobalState/IntrinsicTypes will suffice
#986
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: | | |
| cd uc-crux-llvm/ | |
| 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 | |
| ./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 |