From 7438bca9ad9d53b2235812a3813bdc30d4fc45b5 Mon Sep 17 00:00:00 2001
From: Luca Tumedei <luca@theaveragedev.com>
Date: Tue, 23 Jan 2024 09:42:37 +0100
Subject: [PATCH] build(.github/workflows) do not push docs on PR

---
 .github/workflows/docs.yml | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 3609c838b..1e5726f80 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -1,10 +1,5 @@
 name: docs
 on:
-  pull_request:
-    paths:
-      - 'docs/**'
-      - 'mkdocs.yml'
-      - '.github/workflows/docs.yml'
   push:
     paths:
       - 'docs/**'