Use new GitHub actions

.github/workflows/Docs.yml

@@ -18,21 +18,11 @@ concurrency:
 permissions:
   contents: write
   pull-requests: read
-  statuses: write
 
 jobs:
   docs:
     runs-on: ubuntu-latest
+
     steps:
-      - uses: actions/checkout@v2
-      - uses: julia-actions/setup-julia@latest
-        with:
-          version: '1'
-      - name: Install dependencies
-        run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
-      - name: Build and deploy
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
-          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # For authentication with SSH deploy key
-          JULIA_DEBUG: Documenter # Print `@debug` statements (https://github.com/JuliaDocs/Documenter.jl/issues/955)
-        run: julia --project=docs/ docs/make.jl
+      - name: Build and deploy Documenter.jl docs
+        uses: TuringLang/DocsNav/DocsDocumenter@v2

.github/workflows/Format.yml

@@ -3,11 +3,9 @@ name: Format
 on:
   push:
     branches:
-      # This is where pull requests from "bors r+" are built.
-      - staging
-      # This is where pull requests from "bors try" are built.
-      - trying
-      # Build the main branch.
+      - main
+  pull_request:
+    branches:
       - main
 
 concurrency:
@@ -19,20 +17,7 @@ concurrency:
 jobs:
   format:
     runs-on: ubuntu-latest
+
     steps:
-      - uses: actions/checkout@v2
-      - uses: julia-actions/setup-julia@latest
-        with:
-          version: 1
       - name: Format code
-        run: |
-          using Pkg
-          Pkg.add(; name="JuliaFormatter", uuid="98e50ef6-434e-11e9-1051-2b60c6c9e899")
-          using JuliaFormatter
-          format("."; verbose=true)
-        shell: julia --color=yes {0}
-      - uses: reviewdog/action-suggester@v1
-        if: github.event_name == 'pull_request'
-        with:
-          tool_name: JuliaFormatter
-          fail_on_error: true
+        uses: TuringLang/actions/Format@v2

docs/make.jl

@@ -14,5 +14,3 @@ makedocs(;
     checkdocs=:exports,
     doctest=false,
 )
-
-deploydocs(; repo="github.com/TuringLang/AbstractPPL.jl.git", push_preview=true)