|
|
|
|
@ -25,7 +25,7 @@ pipeline:
|
|
|
|
|
|
|
|
|
|
docs:
|
|
|
|
|
group: ci
|
|
|
|
|
image: julia:${JULIA_VERSION}-alpine3.17
|
|
|
|
|
image: julia:${JULIA_VERSION}
|
|
|
|
|
when:
|
|
|
|
|
event: push
|
|
|
|
|
branch: master
|
|
|
|
|
@ -38,16 +38,9 @@ pipeline:
|
|
|
|
|
- DOCS_REMOTE_KEY
|
|
|
|
|
- DOCS_KEY
|
|
|
|
|
- DOCS_PUBKEY
|
|
|
|
|
- project_access_token
|
|
|
|
|
commands:
|
|
|
|
|
- apk add git openssh-client rsync
|
|
|
|
|
- mkdir -p $HOME/.ssh
|
|
|
|
|
- echo "$${DOCS_KEY}" >> $HOME/.ssh/id_rsa
|
|
|
|
|
- ssh-keyscan -t rsa $${DOCS_REMOTE_SERVER} >> $HOME/.ssh/known_hosts
|
|
|
|
|
- chmod 0600 $HOME/.ssh/id_rsa
|
|
|
|
|
- git config --global user.email "woodpecker@millironx.com"
|
|
|
|
|
- git config --global user.name "woodpecker-bot"
|
|
|
|
|
- git config --global --add safe.directory /woodpecker/src
|
|
|
|
|
- julia --color=yes --project=docs -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
|
|
|
|
|
- julia --color=yes --project=docs docs/make.jl
|
|
|
|
|
- "rsync -r --exclude .git docs/build/* $${DOCS_REMOTE_USER}@$${DOCS_REMOTE_SERVER}:$${DOCS_REMOTE_DIR}"
|
|
|
|
|
- julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
|
|
|
|
|
- julia --project=docs/ -e 'using Pkg; Pkg.add(;url="https://github.com/JuliaDocs/Documenter.jl", rev="b50d74bc02d6883ef36aa19f19129e7a2d675ea9")'
|
|
|
|
|
- julia --project=docs/ docs/make.jl
|
|
|
|
|
|
