Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allow to run release docs workflow manually to redeploy latest version #1053

Merged
merged 1 commit into from
Jan 24, 2025
Merged

Allow to run release docs workflow manually to redeploy latest version #1053

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
21 changes: 20 additions & 1 deletion .github/workflows/publish-release-docs.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,9 @@ on:
# Triggers the workflow in the event there is a release created
release:
types: [published]
# Allow manual triggering of the workflow.
# This will deploy current development branch as latest version.
workflow_dispatch:

permissions:
contents: write
Expand Down Expand Up @@ -34,6 +37,22 @@ jobs:
run: |
git config --global user.name "Build Server"
git config --global user.email "[email protected]"
# Determine the version (either from the release or manually inputted)
- name: Set version to deploy
id: set-version
run: |
if [[ "${{ github.event_name }}" == "release" ]]; then
echo "VERSION=${{ github.event.release.tag_name }}" >> $GITHUB_ENV
elif [[ "${{ github.event_name }}" == "workflow_dispatch" ]]; then
LATEST_TAG=$(curl -s https://api.github.com/repos/${{ github.repository }}/releases/latest | jq -r .tag_name)
if [ "$LATEST_TAG" != "null" ]; then
echo "VERSION=$LATEST_TAG" >> $GITHUB_ENV
else
echo "No latest release found" && exit 1
fi
else
echo "No version specified, cannot deploy." && exit 1
fi
- name: Build & Publish
run: mike deploy --push --update-aliases ${{ github.event.release.tag_name }} latest
run: mike deploy --push --update-aliases $VERSION latest
working-directory: ./docs
Loading