Allow running lint CI through workflow dispatch

andreped · Aug 9, 2024 · 6878fe3 · 6878fe3
1 parent 9447264
commit 6878fe3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/linting.yml b/.github/workflows/linting.yml
@@ -7,6 +7,7 @@ on:
   pull_request:
     branches:
       - "*"
+  workflow_dispatch:
 
 jobs:
   build: