Merge pull request #8 from bancaditalia/docs_deploy_2

Deploy docs on website [WIP]
bancaditalia · May 22, 2024 · 9dd0342 · 9dd0342
2 parents 865d1be + 999da96
commit 9dd0342
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 3 deletions.
diff --git 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
diff --git 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")
-Original file line number
+Diff line change
@@ Expand Up / @@ -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")