From df592aef6a6afe8a8dcd60f5de134c27d61ef3d0 Mon Sep 17 00:00:00 2001
From: Nicolas <Nicolas@nonan.net>
Date: Tue, 9 Sep 2025 22:57:02 +0200
Subject: [PATCH] ci script updated to run docs build only on push

---
 .github/workflows/ci.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 3aa3167..4bb11b9 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -140,6 +140,7 @@ jobs:
         path: tests/out/test_*_render*.pdf
 
   build-docs:
+    if: github.event_name == 'push'
     needs: build-ubuntu
     runs-on: ubuntu-latest
     steps:
@@ -183,6 +184,7 @@ jobs:
           path: docs/build/html
 
   deploy:
+    if: github.event_name == 'push'
     needs: build-docs
     runs-on: ubuntu-latest
     permissions: