From 5995f72f4821b37ef801a9c031baccd4bcdfd9a7 Mon Sep 17 00:00:00 2001
From: Romain Bezut <morian@xdec.net>
Date: Wed, 25 Sep 2024 23:55:39 +0200
Subject: [PATCH] github: allow manual triggers of the linting workflows.

Signed-off-by: Romain Bezut <morian@xdec.net>
---
 .github/workflows/mypy.yml | 1 +
 .github/workflows/ruff.yml | 1 +
 2 files changed, 2 insertions(+)

diff --git a/.github/workflows/mypy.yml b/.github/workflows/mypy.yml
index b81d244..26d6067 100644
--- 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
index bbe248a..30b0476 100644
--- 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"