Skip to content

Commit 9297dea

Browse files
Update Docs.yml
1 parent 217200e commit 9297dea

File tree

1 file changed

+16
-11
lines changed

1 file changed

+16
-11
lines changed

.github/workflows/Docs.yml

Lines changed: 16 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -6,18 +6,23 @@ on:
66
- master
77
tags: '*'
88
pull_request:
9+
merge_group:
10+
types: [checks_requested]
11+
12+
concurrency:
13+
# Skip intermediate builds: always.
14+
# Cancel intermediate builds: only if it is a pull request build.
15+
group: ${{ github.workflow }}-${{ github.ref }}
16+
cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
17+
18+
permissions:
19+
contents: write
20+
pull-requests: read
921

1022
jobs:
11-
build:
23+
docs:
1224
runs-on: ubuntu-latest
25+
1326
steps:
14-
- uses: actions/checkout@v2
15-
- uses: julia-actions/setup-julia@v1
16-
with:
17-
version: '1'
18-
- uses: julia-actions/julia-buildpkg@v1
19-
- uses: julia-actions/julia-docdeploy@v1
20-
env:
21-
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
22-
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # For authentication with SSH deploy key
23-
JULIA_DEBUG: Documenter # Print `@debug` statements (https://github.com/JuliaDocs/Documenter.jl/issues/955)
27+
- name: Build and deploy Documenter.jl docs
28+
uses: TuringLang/actions/DocsDocumenter@main

0 commit comments

Comments
 (0)