diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml
index a26d04e..ea5720a 100644
--- a/.github/workflows/Documentation.yml
+++ b/.github/workflows/Documentation.yml
@@ -35,6 +35,8 @@ jobs:
         shell: julia --project=docs/ --color=yes {0}
         run: |
           using Pkg
+          println("Current directory: ", pwd())
+          println(run(`ls -la`))
           include("etc/add_oscar.jl")
           Pkg.develop(PackageSpec(path=pwd()))
           Pkg.instantiate()