Merge branch 'fspissu/dark-theme-implementation' of github.com:arduino/arduino-ide into fspissu/dark-theme-implementation

francescospissu · francescospissu · commit 68fd1b9078b4 · 2022-05-17T10:28:35.000+02:00
diff --git a/.github/workflows/themes-weekly-pull.yml b/.github/workflows/themes-weekly-pull.yml
@@ -4,6 +4,7 @@ on:
   schedule:
     # run every friday at 5AM
     - cron: '0 5 * * 5'
+  workflow_dispatch:
 
 env:
   NODE_VERSION: 14.x
