about summary refs log tree commit diff
path: root/.github/deploy.sh
AgeCommit message (Expand)AuthorLines
2022-05-21Merge 'rust-clippy/master' into clippyupxFrednet-0/+1
2021-11-04Merge commit 'e18101137866b79045fee0ef996e696e68c920b4' into clippyupflip1995-1/+2
2021-07-29Merge commit '0cce3f643bfcbb92d5a1bb71858c9cbaff749d6b' into clippyupflip1995-5/+4
2020-07-26Merge commit 'da5a6fb1b65ec6581a67e942a3850f6bc15a552c' into clippyupflip1995-6/+15
2020-03-25Also deploy from the beta branchflip1995-1/+9
2020-02-27Fix deploy script for tag deploysflip1995-2/+12
2020-02-14Rename current -> stableflip1995-3/+3
2020-02-13Use python3 instead of pythonflip1995-2/+2
2020-02-13Sort versions in json outputflip1995-7/+3
2020-02-12Apply review commentsflip1995-1/+1
2020-02-12Extract deploymentflip1995-49/+11
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-26 07:01:46 +0000