From 7b837becd2d368cd320be4f27083f6d63f3ba3b8 Mon Sep 17 00:00:00 2001
From: Michael Panchenko <michael.panchenko@oraios-ai.de>
Date: Mon, 24 Mar 2025 20:10:12 +0100
Subject: [PATCH] Manual trigger on lint workflow

---
 .github/workflows/lint_and_docs.yaml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/lint_and_docs.yaml b/.github/workflows/lint_and_docs.yaml
index cc39a0d..03cdad9 100644
--- a/.github/workflows/lint_and_docs.yaml
+++ b/.github/workflows/lint_and_docs.yaml
@@ -1,6 +1,7 @@
 name: Linting, Types and Docs Check
 
-on: [push, pull_request]
+on:
+  workflow_dispatch:  # Manual trigger only - workflow disabled from auto-running
 
 jobs:
   check:
@@ -36,8 +37,6 @@ jobs:
         run: uv run poe type-check
       - name: Docs
         run: uv run poe doc-build
-      
-      
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v2
         with: