Debugging docs generation

2021-07-20 15:20:03 +02:00
parent 4fc0f85cf1
commit 192eb6ffbb
1 changed files with 1 additions and 0 deletions
@@ -44,6 +44,7 @@ jobs:
      - name: build documentation
        env: 
          PYTHON: ""
+          JULIA_DEBUG: "Documenter"
          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
        run: |
          xvfb-run julia --color=yes --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.add(PackageSpec(name="Plots", rev=split(ENV["GITHUB_REF"], "/", limit=3)[3])); Pkg.instantiate()'