a

lgoettgens · Feb 22, 2024 · a725dee · a725dee
1 parent 3d6dfe9
commit a725dee
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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()