From 3ea6e47d22d9d7f6df9ce46152d3b06c0e93887f Mon Sep 17 00:00:00 2001
From: jeanluc <lkubb@protonmail.com>
Date: Fri, 18 Oct 2024 14:46:24 +0200
Subject: [PATCH] Don't deploy docs on push anymore

---
 .github/workflows/pr.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index 896c571..2c3f654 100644
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -14,7 +14,7 @@ jobs:
     name: CI
     uses: ./.github/workflows/ci.yml
     with:
-      deploy-docs: true
+      deploy-docs: false
     permissions:
       contents: write
       id-token: write