diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml
index 8f257900b0..9c34d82ab2 100644
--- a/.github/workflows/Documentation.yml
+++ b/.github/workflows/Documentation.yml
@@ -52,8 +52,8 @@ jobs:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # Required for permissions to deploy documentation
           DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # For authentication with SSH deploy key
         run: >
-          cd docs;
-          DISPLAY=:0 xvfb-run -s '-screen 0 1024x768x24' julia --project --color=yes makedocs.jl
+          DISPLAY=:0 xvfb-run -s '-screen 0 1024x768x24' 
+          julia --project=docs --color=yes --code-coverage=user docs/make.jl
 
       - name: Upload site as artifact
         uses: actions/upload-artifact@v4