Preview of documentation

.github/workflows/Documentation.yml

@@ -3,8 +3,9 @@ name: Documentation
 on:
   push:
     branches:
-      - 'master'
+      - master
     tags: '*'
+  pull_request:
   workflow_dispatch:
   schedule:
     # Run on the 23rd hour every day
@@ -44,4 +45,4 @@ jobs:
           julia --project=docs --color=yes make.jl $(git -C ~/.julia/dev/Turing tag --sort version:refname | tail -n 1)
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
+          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}

.github/workflows/doc_preview_cleanup.yml

@@ -0,0 +1,28 @@
+name: Doc Preview Cleanup
+
+on:
+  pull_request:
+    types: [closed]
+
+jobs:
+  doc-preview-cleanup:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout gh-pages branch
+        uses: actions/checkout@v2
+        with:
+          ref: gh-pages
+
+      - name: Delete preview and history
+        run: |
+            git config user.name "Documenter.jl"
+            git config user.email "[email protected]"
+            git rm -rf "previews/PR$PRNUM"
+            git commit -m "delete preview"
+            git branch gh-pages-new $(echo "delete history" | git commit-tree HEAD^{tree})
+        env:
+            PRNUM: ${{ github.event.number }}
+
+      - name: Push changes
+        run: |
+            git push --force origin gh-pages-new:gh-pages

make.jl

@@ -99,22 +99,17 @@ with_baseurl(() -> run(`$new_jekyll_build`), baseurl, joinpath(local_path, "_con
 # Copy assets to folder
 cp(joinpath(tmp_path, "assets"), joinpath(tmp_path, "_site", "assets"), force=true)
 
-repo = "github.com:TuringLang/turing.ml.git"
-
 deploy_config = GitHubActions(
     "TuringLang/turing.ml", #github_repository::String
     "push", #github_event_name::String
     is_dev ? "refs/heads/master" : "refs/tags/$(ARGS[1])" #github_ref::String
 )
 
-deploydocs(
+deploydocs(;
+    repo = "github.com:TuringLang/turing.ml.git",
     target = joinpath(tmp_path, "_site"),
-    repo = repo,
-    branch = "gh-pages",
-    devbranch = "master",
-    devurl = "dev",
-    versions = ["stable" => "v^", "v#.#", "dev" => "dev"],
-    deploy_config = deploy_config
+    deploy_config = deploy_config,
+    push_preview = true, 
 )
 
 @info "" get(ENV, "GITHUB_REF", missing)