ci: 部署 PDF (#144)

* ci: 90 分钟超时 * ci: 部署 PDF * ci: use DOCUMENTER_KEY
JuliaCN · Dec 22, 2024 · e571e6e · e571e6e
1 parent 071e79f
commit e571e6e
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/pdf.yml b/.github/workflows/pdf.yml
@@ -29,7 +29,11 @@ jobs:
           Pkg.develop(PackageSpec(path=pwd()))
           Pkg.instantiate()
       - name: Build PDF
-        run: julia --project=doc/ doc/make.jl pdf texplatform=docker
+        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
         with: