Skip to content

Commit 28d7f0d

Browse files
Add DOCUMENTER_KEY secret
To hopefully get documentation builds on tags to happen properly
1 parent 9bbd8b8 commit 28d7f0d

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

.github/workflows/Documentation.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -25,4 +25,5 @@ jobs:
2525
- name: Build and deploy
2626
env:
2727
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # If authenticating with GitHub Actions token
28+
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # For authentication with SSH deploy
2829
run: julia --project=docs/ docs/make.jl

0 commit comments

Comments
 (0)