2023-02-05 20:11:23 +00:00
|
|
|
matrix:
|
|
|
|
JULIA_VERSION:
|
|
|
|
- "1.0"
|
|
|
|
- "1.6"
|
|
|
|
- "1"
|
|
|
|
- "rc"
|
|
|
|
|
|
|
|
pipeline:
|
|
|
|
test:
|
|
|
|
group: ci
|
|
|
|
image: julia:${JULIA_VERSION}
|
|
|
|
pull: true
|
|
|
|
when:
|
2023-02-15 16:54:32 +00:00
|
|
|
event: [pull_request, push]
|
2023-02-05 20:11:23 +00:00
|
|
|
commands:
|
|
|
|
- julia --color=yes -e 'using Pkg; Pkg.activate(pwd()); Pkg.instantiate()'
|
|
|
|
- julia --color=yes -e 'using Pkg; Pkg.activate(pwd()); Pkg.test(;coverage=true)'
|
|
|
|
|
|
|
|
docs:
|
|
|
|
group: ci
|
|
|
|
image: julia:1-alpine3.17
|
|
|
|
when:
|
2023-02-15 16:54:32 +00:00
|
|
|
event: push
|
|
|
|
branch: master
|
2023-02-05 20:11:23 +00:00
|
|
|
secrets:
|
|
|
|
- DOCS_REMOTE_USER
|
|
|
|
- DOCS_REMOTE_SERVER
|
|
|
|
- DOCS_REMOTE_DIR
|
|
|
|
- DOCS_KEY
|
|
|
|
- DOCS_PUBKEY
|
|
|
|
commands:
|
|
|
|
- apk add git openssh-client rsync
|
|
|
|
- mkdir -p $HOME/.ssh
|
|
|
|
- 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
|
2023-02-15 17:00:00 +00:00
|
|
|
- "rsync -r --exclude .git docs/build/* ${DOCS_REMOTE_USER}@${DOCS_REMOTE_SERVER}:${DOCS_REMOTE_DIR}"
|
2023-02-05 20:11:23 +00:00
|
|
|
|