Add job on master that publishes the website

This commit is contained in:
gnzlbg 2019-10-17 14:52:35 +02:00
parent bf877ba712
commit 39decff1f6

24
ci/azure-master.yml Normal file
View File

@ -0,0 +1,24 @@
variables:
- group: secrets
resources:
repositories:
- repository: rustinfra
type: github
name: rust-lang/simpleinfra
endpoint: gnzlbg
trigger: ["master"]
pr: ["master"]
jobs:
- job: StyleAndDocs
pool:
vmImage: ubuntu-16.04
steps:
- template: azure-install-rust.yml
- script: sh ci/style.sh
displayName: Check style
- script: LIBC_CI=1 sh ci/dox.sh
displayName: Generate documentation
- template: azure-configs/static-websites.yml@rustinfra
parameters:
deploy_dir: target/doc