From b3f478e65f9d90e3c46864493724b2156b6b2106 Mon Sep 17 00:00:00 2001
From: Nikolay Ulmasov <ulmasov@hotmail.com>
Date: Sat, 4 Nov 2023 16:41:33 +0000
Subject: [PATCH] change from push to pull_request

Signed-off-by: Nikolay Ulmasov <ulmasov@hotmail.com>
---
 .github/workflows/docs.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 53157c815a..09740c4c9d 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -1,7 +1,7 @@
 name: Build documentation
 
 on:
-  push:
+  pull_request:
     paths:
       - python/**
       - docs/**