Merge branch 'dev' into l10n_dev

weareinreach · Sep 30, 2023 · 1809441 · 1809441
2 parents 8c10ee1 + 529994b
commit 1809441
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -3,6 +3,7 @@ name: Lint & format
 on:
   push:
     branches-ignore: [dev, main, renovate/*]
+  workflow_dispatch:
 
 jobs:
   lintformat: