diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2019-10-25 13:57:18 -0500 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2019-10-25 13:59:23 -0500 |
| commit | 3dd6df0bd00f4d1f6b4c5a721caf8ec9e33fc407 (patch) | |
| tree | 0ce654ab881c27f8c51224d857ed855b3f7f69bc /ci | |
| parent | f9b30a1ff87acd5f3c29a32369f0537e8e3d2bf1 (diff) | |
CI: build 0.4 docs from the v0.4.x branch
instead of using a specific tag; this way documentation changes done to the
v0.4.x branch will show up on the site as soon as they land -- right now they
require publishing a new v0.4.x release on crates.io and manually updating the
`after-success.sh` build script on master
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/after-success.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/after-success.sh b/ci/after-success.sh index e18cbb1..f533935 100644 --- a/ci/after-success.sh +++ b/ci/after-success.sh @@ -3,7 +3,7 @@ set -euxo pipefail main() { local langs=( en ru ) local latest=0.5 - local vers=( 0.4.3 ) + local vers=( 0.4.x ) rm -f .cargo/config cargo doc |