ci: allow manual dispatch of devskim linter

[skip ci]
dathere · Sep 13, 2023 · cdbd9eb · cdbd9eb
1 parent c1f75f5
commit cdbd9eb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/devskim.yml b/.github/workflows/devskim.yml
@@ -12,6 +12,7 @@ on:
     branches: [ master ]
   schedule:
     - cron: '41 12 * * 2'
+  workflow_dispatch:
 
 jobs:
   lint: