Christian Legnitto
|
b96879e2db
|
Add a git ssh origin when pushing docs
Azure apparently downloads the source via http,
so when we go to push the ssh keychain is not used.
adding origin shoudl fix it, as was done in
https://cloudblogs.microsoft.com/opensource/2019/04/05/publishing-github-pages-from-azure-pipelines/
|
2019-04-16 21:52:58 -07:00 |
|
Christian Legnitto
|
94cc621598
|
Attempt to fix docs
Cribbed from https://cloudblogs.microsoft.com/opensource/2019/04/05/publishing-github-pages-from-azure-pipelines/
and https://docs.microsoft.com/en-us/azure/devops/pipelines/tasks/utility/install-ssh-key?view=azure-devops
|
2019-04-16 21:27:24 -07:00 |
|
Christian Legnitto
|
17e564c6f0
|
Use bash for docs scripts
This is erroring out on CI as `pipefail` is a bash-ism AFAICT.
|
2019-04-15 21:41:00 -07:00 |
|
Christoph Herzog
|
ff66b89baa
|
tmp
|
2019-04-10 02:30:38 +02:00 |
|
Christoph Herzog
|
ca7f9aa253
|
(ci) CI integration for book
* Test book code examples in separate job
* In master branch, build + push book to gh-pages branch
|
2019-03-08 12:00:43 +01:00 |
|