github: allow manual triggers of the linting workflows.

Signed-off-by: Romain Bezut <[email protected]>
morian · Sep 25, 2024 · 5995f72 · 5995f72
1 parent aea5e87
commit 5995f72
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.github/workflows/mypy.yml b/.github/workflows/mypy.yml
@@ -6,6 +6,7 @@ on:
   pull_request:
     paths:
       - '*.py'
+  workflow_dispatch:
 
 env:
   PYTHON_VERSION: "3.12"

diff --git a/.github/workflows/ruff.yml b/.github/workflows/ruff.yml
@@ -6,6 +6,7 @@ on:
   pull_request:
     paths:
       - '*.py'
+  workflow_dispatch:
 
 env:
   PYTHON_VERSION: "3.11"
-Original file line number
+Diff line change
@@ Expand Up / @@ -6,6 +6,7 @@ on: @@
       pull_request:
         paths:
           - '*.py'
+      workflow_dispatch:
     env:
       PYTHON_VERSION: "3.12"
@@ Expand Down @@