Merge pull request #411 from chungyc/pulls

BinderDavid · web-flow · commit fabe1b3d0303 · 2023-05-02T13:50:39.000+02:00
Do not trigger HLint on pull requests.
diff --git a/.github/workflows/hlint.yml b/.github/workflows/hlint.yml
@@ -6,13 +6,6 @@ on:
       - 'message-index/site.hs'
     branches:
       - main
-  pull_request:
-    paths:
-      - 'message-index/site.hs'
-    types:
-      - opened
-      - synchronize
-      - reopened
 
 jobs:
   hlint:
