add Documenter_key to environment
This commit is contained in:
parent
af77167142
commit
dc3fae9635
1
.github/workflows/docs.yml
vendored
1
.github/workflows/docs.yml
vendored
@ -39,6 +39,7 @@ jobs:
|
|||||||
- name: build documentation
|
- name: build documentation
|
||||||
env:
|
env:
|
||||||
PYTHON: ""
|
PYTHON: ""
|
||||||
|
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
|
||||||
run: |
|
run: |
|
||||||
echo $(GITHUB_REF)
|
echo $(GITHUB_REF)
|
||||||
xvfb-run julia --color=yes --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.develop(PackageSpec(name="Plots", rev=ENV["GITHUB_REF"]))); Pkg.instantiate()'
|
xvfb-run julia --color=yes --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.develop(PackageSpec(name="Plots", rev=ENV["GITHUB_REF"]))); Pkg.instantiate()'
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user