From e5648849261db76bf180bc06255d7e7e69e5851b Mon Sep 17 00:00:00 2001
From: Remy Degenne <remydegenne@gmail.com>
Date: Sun, 12 Apr 2026 09:31:31 +0200
Subject: [PATCH] disable docgen temporarily

---
 .github/workflows/blueprint.yml | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
index 8ae3ddf0..05308aaa 100644
--- a/.github/workflows/blueprint.yml
+++ b/.github/workflows/blueprint.yml
@@ -55,13 +55,13 @@ jobs:
         run: |
           ./build_all.sh
 
-      - name: Compile blueprint and documentation
-        uses: leanprover-community/docgen-action@deed0cdc44dd8e5de07a300773eb751d33e32fc8 # 2025-10-26
-        with:
-          homepage: home_page
-          blueprint: true
-          build-page: false
-          deploy: false
+      # - name: Compile blueprint and documentation
+      #   uses: leanprover-community/docgen-action@deed0cdc44dd8e5de07a300773eb751d33e32fc8 # 2025-10-26
+      #   with:
+      #     homepage: home_page
+      #     blueprint: true
+      #     build-page: false
+      #     deploy: false
 
       - name: "Upload website (API documentation, blueprint and any home page)"
         if: github.event_name == 'push'