From 588dc396c0ca161671f79030cd32082f4384af8a Mon Sep 17 00:00:00 2001
From: Jeremy Leibs <jeremy@rerun.io>
Date: Thu, 20 Apr 2023 20:04:05 +0200
Subject: [PATCH] New dispatch-only workflow for running the lint-job

---
 .github/workflows/dispatch_lint.yml | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 .github/workflows/dispatch_lint.yml

diff --git a/.github/workflows/dispatch_lint.yml b/.github/workflows/dispatch_lint.yml
new file mode 100644
index 000000000000..fd262b1c25e7
--- /dev/null
+++ 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 }}