From d7385b1c1c61ac100bcc60427191fa65fdc22587 Mon Sep 17 00:00:00 2001
From: ASuciuX <asuciu@hiro.so>
Date: Fri, 16 Aug 2024 19:17:59 +0300
Subject: [PATCH] add workfow dispatch mutants

---
 .github/workflows/pr-differences-mutants.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.github/workflows/pr-differences-mutants.yml b/.github/workflows/pr-differences-mutants.yml
index fc4a725687..85b2a49ea6 100644
--- a/.github/workflows/pr-differences-mutants.yml
+++ b/.github/workflows/pr-differences-mutants.yml
@@ -9,6 +9,16 @@ on:
       - ready_for_review
     paths:
       - '**.rs'
+  workflow_dispatch:
+    inputs:
+      ignore_timeout:
+        description: "Ignore mutants timeout limit"
+        required: false
+        type: choice
+        options:
+          - true
+          - false
+        default: 'true'
 
 concurrency:
   group: pr-differences-${{ github.head_ref || github.ref || github.run_id }}