diff options
| author | Philipp Krones <hello@philkrones.com> | 2025-01-09 18:24:02 +0100 |
|---|---|---|
| committer | Philipp Krones <hello@philkrones.com> | 2025-01-09 18:24:02 +0100 |
| commit | 55c8550221bcf1c62d5dd73806c7a54f0dc4e24d (patch) | |
| tree | 4b433d6ec4dd9f4f714d9060ae53e1fad3e758e5 | |
| parent | 894e87cd5160a2198940a35dc105ce6e46d9763e (diff) | |
| download | rust-55c8550221bcf1c62d5dd73806c7a54f0dc4e24d.tar.gz rust-55c8550221bcf1c62d5dd73806c7a54f0dc4e24d.zip | |
Also deploy index.html file on release
| -rw-r--r-- | .github/deploy.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/deploy.sh b/.github/deploy.sh index ea118a3b6fc..2f062799a36 100644 --- a/.github/deploy.sh +++ b/.github/deploy.sh @@ -45,6 +45,8 @@ if [[ -n $TAG_NAME ]]; then git add "$TAG_NAME" # Update the symlink git add stable + # Update the index.html file + git add index.html git commit -m "Add documentation for ${TAG_NAME} release: ${SHA}" elif [[ $BETA = "true" ]]; then if git diff --exit-code --quiet -- beta/; then |