add: manual lint

plageoj · plageoj · commit d050ff6091a1 · 2022-12-23T18:55:54.000+09:00
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -1,6 +1,6 @@
 name: Arduino Lint
 
-on: [push, pull_request]
+on: [push, pull_request, workflow_dispatch]
 jobs:
   lint:
     runs-on: ubuntu-latest
