ci: use DOCUMENTER_KEY

JuliaCN · Dec 22, 2024 · 1660874 · 1660874
1 parent 63bb5b4
commit 1660874
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/pdf.yml b/.github/workflows/pdf.yml
@@ -30,6 +30,9 @@ jobs:
           Pkg.instantiate()
       - name: Build PDF
         timeout-minutes: 90
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
         run: julia --project=doc/ doc/make.jl deploy pdf texplatform=docker
       - name: upload complied PDF file
         uses: actions/upload-artifact@v4