diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml index 26e2ff2..11144b5 100644 --- a/.github/workflows/documentation.yml +++ b/.github/workflows/documentation.yml @@ -1,5 +1,10 @@ name: Documentation +permissions: + contents: write # Required when authenticating with `GITHUB_TOKEN`, not needed when authenticating with SSH deploy keys + pull-requests: read # Required when using `push_preview=true` + statuses: write # Optional, used to report documentation build statuses + on: push: branches: @@ -28,6 +33,6 @@ jobs: run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()' - name: Build and deploy env: - # GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # If authenticating with GitHub Actions token - DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # If authenticating with SSH deploy key + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # If authenticating with GitHub Actions token + #DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # If authenticating with SSH deploy key run: julia --project=docs/ docs/make.jl \ No newline at end of file diff --git a/docs/make.jl b/docs/make.jl index 9699f03..08b9e59 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -47,4 +47,4 @@ makedocs( ], ) -deploydocs(;repo = "github.com/bancaditalia/BeforeIT.jl.git", devbranch = "main", target = "gh-pages") +deploydocs(;repo = "github.com/bancaditalia/BeforeIT.jl.git")