uc-crux-llvm-lint.yaml

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