This repository was archived by the owner on Aug 25, 2025. It is now read-only.
File tree Expand file tree Collapse file tree 2 files changed +21
-4
lines changed Expand file tree Collapse file tree 2 files changed +21
-4
lines changed Original file line number Diff line number Diff line change 11trigger :
2- - master
2+ - src
33
44jobs :
55 - job : publish
2323 displayName: Install rust
2424 - script : ./ci/build.sh
2525 displayName : Build site
26- - script : curl -LsSf https://git.io/fhJ8n | rustc - && (cd _site && ../rust_out)
27- condition : and(succeeded(), eq(variables['Build.SourceBranch'], 'refs/heads/master'))
26+ - script : |
27+ set -e
28+ source ci/setup-git.sh
29+ cd _site
30+ git init
31+ git add .
32+ git commit -m "Deploy $BUILD_SOURCEVERSION"
33+ git push git@github.com:rustwasm/rustwasm.github.io master:master -f
34+ displayName: "Push to gh-pages"
35+ condition: and(succeeded(), eq(variables['Build.SourceBranch'], 'refs/heads/src'))
2836 env:
29- GITHUB_DEPLOY_KEY : $(GITHUB_DEPLOY_KEY)
37+ GITHUB_DEPLOY_KEY: '$(GITHUB_DEPLOY_KEY_MAIN)'
Original file line number Diff line number Diff line change 1+ set -e
2+
3+ eval ` ssh-agent`
4+ export GIT_SSH_COMMAND=" ssh -o StrictHostKeyChecking=no"
5+ echo $GITHUB_DEPLOY_KEY | base64 -d > _the_key
6+ chmod 600 _the_key
7+ ssh-add _the_key
8+ git config --global user.name " Deploy from CI"
9+ git config --global user.email " "
You can’t perform that action at this time.
0 commit comments