Move HLint script to a separate workflow file

JacquesCarette · Jul 21, 2023 · 0bc658d · 0bc658d
1 parent bedbcbf
commit 0bc658d
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/.github/workflows/Lint.yaml b/.github/workflows/Lint.yaml
@@ -0,0 +1,17 @@
+on:
+ pull_request:
+ branches: master
+ paths: 'code/drasil-*'
+name: Linter
+defaults:
+ run:
+ shell: bash
+ working-directory: code
+jobs:
+ linter:
+ name: "HLint"
+ runs-on: ubuntu-22.04
+ steps:
+ - uses: actions/checkout@v3
+ - name: "HLint"
+ run: make hot_hlint