New dispatch-only workflow for running the lint-job (#1950)

rerun-io · Apr 20, 2023 · bbf4a26 · bbf4a26
1 parent f5e0e4d
commit bbf4a26
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/.github/workflows/dispatch_lint.yml b/.github/workflows/dispatch_lint.yml
@@ -0,0 +1,12 @@
+name: Manually dispatch linting
+
+on:
+  workflow_dispatch:
+
+jobs:
+  lint_all:
+    uses: ./.github/workflows/reusable_lint.yml
+    with:
+      SAVE_CACHE: false
+    secrets:
+      GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}