Migrate meta info to personal Gitea #1
1 changed files with 45 additions and 0 deletions
45
.woodpecker.yml
Normal file
45
.woodpecker.yml
Normal file
|
@ -0,0 +1,45 @@
|
||||||
|
matrix:
|
||||||
|
JULIA_VERSION:
|
||||||
|
- "1.0"
|
||||||
|
- "1.6"
|
||||||
|
- "1"
|
||||||
|
- "rc"
|
||||||
|
|
||||||
|
pipeline:
|
||||||
|
test:
|
||||||
|
group: ci
|
||||||
|
image: julia:${JULIA_VERSION}
|
||||||
|
pull: true
|
||||||
|
when:
|
||||||
|
- event: pull_request
|
||||||
|
- event: push
|
||||||
|
branch: master
|
||||||
|
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:
|
||||||
|
- event: push
|
||||||
|
branch: master
|
||||||
|
- event: manual
|
||||||
|
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
|
||||||
|
- rsync -r --exclude .git docs/build/* ${DOCS_REMOTE_USER}@${DOCS_REMOTE_SERVER}:${DOCS_REMOTE_DIR}
|
||||||
|
|
Loading…
Reference in a new issue