Browse Source

Add DOCUMENTER_KEY to workflow config

pull/82/head
Fredrik Ekre 6 years ago committed by GitHub
parent
commit
fa1b889835
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 1
      .github/workflows/docs.yml

1
.github/workflows/docs.yml

@ -20,4 +20,5 @@ jobs:
- name: Build and deploy - name: Build and deploy
env: env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
run: julia --project=docs --color=yes docs/make.jl run: julia --project=docs --color=yes docs/make.jl

Loading…
Cancel
Save