This commit is contained in:
parent
b91b374b96
commit
be808573cc
1 changed files with 2 additions and 2 deletions
|
@ -31,12 +31,12 @@ pipeline:
|
|||
commands:
|
||||
- apk add git openssh-client rsync
|
||||
- mkdir -p $HOME/.ssh
|
||||
- echo "${DOCS_KEY}" >> $HOME/.ssh/id_rsa
|
||||
- echo "$${DOCS_KEY}" >> $HOME/.ssh/id_rsa
|
||||
- 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}"
|
||||
- "rsync -r --exclude .git docs/build/* $${DOCS_REMOTE_USER}@$${DOCS_REMOTE_SERVER}:$${DOCS_REMOTE_DIR}"
|
||||
|
Loading…
Reference in a new issue