about summary refs log tree commit diff
path: root/.github/deploy.sh
AgeCommit message (Expand)AuthorLines
2019-11-30deploy: cd to out/ before adding files to gitLzu Tao-0/+1
2019-11-29Fix master deploymentPhilipp Hansch-0/+1
2019-10-22build: improve script and travis configLzu Tao-30/+25
2019-01-08Remove all copyright license headersPhilipp Hansch-11/+0
2018-10-06Add license header to other filesManish Goregaokar-0/+12
2018-05-16Add exec bit, add set -ex to ci test filesPhilipp Hansch-2/+1
2018-04-11Add set -x for debuggingPhilipp Hansch-0/+1
2018-04-11Debug deployment script issuesPhilipp Hansch-3/+3
2017-08-03Generate version index for docs domain indexPascal Hertleif-0/+13
2016-08-17Fix Travis not pushing gh-pages for tagsmcarton-2/+5
2016-07-19Revert "Maybe fix `deploy.sh`"mcarton-2/+1
2016-07-19Add encryption label to deploy.shmcarton-0/+1
2016-07-19Fix deploy.sh IIImcarton-3/+3
2016-07-19Fix deploy.sh IImcarton-10/+10
2016-07-19Maybe fix `deploy.sh`mcarton-1/+2
2016-07-19Fix deploy.sh and python2 usagemcarton-1/+1
2016-07-19Setup automatic push of gh-pagesmcarton-0/+66
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-22 20:55:48 +0000