From c9143783fe5fb5f7f9ca3d46510b1c9c76fca8cb Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Fri, 5 Jul 2024 14:51:22 +0200
Subject: [PATCH] Update push.yml

---
 .github/workflows/push.yml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 09508d6..ba92e93 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -57,8 +57,11 @@ jobs:
           restore-keys: |
             MathlibDoc- # Cache Mathlib documentation to save rebuild time
 
-      - name: Build documentation
-        run: ~/.elan/bin/lake -Kenv=dev build BonnAnalysis:docs # Build project documentation
+      - name: List available documentation parts
+        run: ls -R .lake/build/doc # List all available documentation parts for monitoring
+
+      # - name: Build documentation
+      #   run: ~/.elan/bin/lake -Kenv=dev build BonnAnalysis:docs # Build project documentation
 
       # - name: Clear intermediate documentation build artifacts
       #   run: rm -rf .lake/build/doc/* # Clean up documentation build artifacts to save space