From d37f9f1dc13d5962f0f31d8d05c6c7b365c02c4e Mon Sep 17 00:00:00 2001
From: Gil Robalo Rei <gil.rei@tum.de>
Date: Fri, 17 Jan 2025 16:10:33 +0100
Subject: [PATCH] echo which sphinx is used

---
 .github/workflows/build_documentation.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/build_documentation.yml b/.github/workflows/build_documentation.yml
index 4d52e154..0213e7a2 100644
--- a/.github/workflows/build_documentation.yml
+++ b/.github/workflows/build_documentation.yml
@@ -29,6 +29,7 @@ jobs:
           PYTHON_PACKAGE_MANAGER: ${{steps.environment.outputs.ppm}}
         run: |
           $PYTHON_PACKAGE_MANAGER activate queens
+          echo `which sphinx-build`
           sphinx-apidoc -o doc/source queens -f -M
           cd doc
           sphinx-build -b html -d build/doctrees source build/html