Skip to content

Commit 0ef069d

Browse files
authored
Update Documentation.yml (#181)
1 parent 31e1bd5 commit 0ef069d

File tree

1 file changed

+8
-20
lines changed

1 file changed

+8
-20
lines changed

.github/workflows/Documentation.yml

Lines changed: 8 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -7,26 +7,14 @@ on:
77
tags: '*'
88
pull_request:
99

10+
permissions:
11+
contents: write
12+
pull-requests: write
13+
1014
jobs:
11-
build:
12-
permissions:
13-
contents: write
14-
pull-requests: read
15-
statuses: write
16-
actions: write
15+
docs:
1716
runs-on: ubuntu-latest
17+
1818
steps:
19-
- uses: actions/checkout@v4
20-
- uses: julia-actions/setup-julia@v2
21-
with:
22-
version: '1'
23-
arch: x64
24-
include-all-prereleases: false
25-
- name: Install dependencies
26-
run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.update(); Pkg.instantiate()'
27-
- name: Build and deploy
28-
env:
29-
GKSwstype: nul # turn off GR's interactive plotting for notebooks
30-
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # If authenticating with GitHub Actions token
31-
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # For authentication with SSH deploy key
32-
run: julia --project=docs/ docs/make.jl
19+
- name: Build and deploy Documenter.jl docs
20+
uses: TuringLang/actions/DocsDocumenter@main

0 commit comments

Comments
 (0)