docs: push preview builds of docs (#56)

JuliaComputing · May 31, 2024 · b06ee87 · b06ee87
1 parent c602b1a
commit b06ee87
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -112,6 +112,9 @@ jobs:
  docs:
  name: Documentation
  runs-on: ubuntu-latest
+ permissions:
+ pull-requests: read # Required when using `push_preview=true`
+ statuses: write # Optional, used to report documentation build statuses
  steps:
  - uses: actions/checkout@v3
  - uses: julia-actions/setup-julia@v1
@@ -128,6 +131,7 @@ jobs:
  run: julia --color=yes --project=docs/ --code-coverage docs/make.jl
  env:
  DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
+ GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
  - uses: julia-actions/julia-processcoverage@v1
  - uses: codecov/codecov-action@v3
  with:

diff --git a/docs/make.jl b/docs/make.jl
@@ -83,4 +83,4 @@ Mocking.apply(mocking_patch) do
  )
 end
 
-deploydocs(; repo="github.com/JuliaComputing/JuliaHub.jl")
+deploydocs(; repo="github.com/JuliaComputing/JuliaHub.jl", push_preview=true)