|
|
|
@ -50,4 +50,5 @@ jobs: |
|
|
|
env: |
|
|
|
env: |
|
|
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |
|
|
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |
|
|
|
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} |
|
|
|
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} |
|
|
|
|
|
|
|
GKSwstype: '100' |
|
|
|
run: julia --project=docs --color=yes docs/make.jl |
|
|
|
run: julia --project=docs --color=yes docs/make.jl |
|
|
|
|