2023-02-20 15:46:04 +00:00
|
|
|
clone:
|
|
|
|
git:
|
|
|
|
image: woodpeckerci/plugin-git
|
|
|
|
settings:
|
|
|
|
partial: false
|
|
|
|
depth: 0
|
|
|
|
|
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
|
2023-02-20 15:12:58 +00:00
|
|
|
image: julia:${JULIA_VERSION}-alpine3.17
|
2023-02-05 20:11:23 +00:00
|
|
|
when:
|
2023-02-15 16:54:32 +00:00
|
|
|
event: push
|
|
|
|
branch: master
|
2023-02-20 15:07:17 +00:00
|
|
|
matrix:
|
|
|
|
JULIA_VERSION: "1"
|
2023-02-05 20:11:23 +00:00
|
|
|
secrets:
|
|
|
|
- DOCS_REMOTE_USER
|
|
|
|
- DOCS_REMOTE_SERVER
|
|
|
|
- DOCS_REMOTE_DIR
|
2023-02-20 15:07:17 +00:00
|
|
|
- DOCS_REMOTE_KEY
|
2023-02-05 20:11:23 +00:00
|
|
|
- DOCS_KEY
|
|
|
|
- DOCS_PUBKEY
|
|
|
|
commands:
|
|
|
|
- apk add git openssh-client rsync
|
|
|
|
- mkdir -p $HOME/.ssh
|
2023-02-15 17:05:49 +00:00
|
|
|
- echo "$${DOCS_KEY}" >> $HOME/.ssh/id_rsa
|
2023-02-20 15:20:30 +00:00
|
|
|
- ssh-keyscan -t rsa $${DOCS_REMOTE_SERVER} >> $HOME/.ssh/known_hosts
|
2023-02-05 20:11:23 +00:00
|
|
|
- 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:05:49 +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
|
|
|
|