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.

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

Remove tag creation for docs #2113

Merged
merged 2 commits into from
Nov 2, 2023
Merged
Changes from all commits
Commits
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
10 changes: 4 additions & 6 deletions .github/workflows/publish-docs-new-version.yml
Original file line number Diff line number Diff line change
@@ -1,16 +1,16 @@
# This workflow needs to be triggered manually to create a
# new version of the documentation
# new version of the documentation.
#
# this workflow needs to live in default branch to be able
# This workflow needs to live in default branch to be able
# to be triggered manually due to a limitation of github actions.

# make sure to select the branch `docs/main` when triggering this action
# Make sure to select the branch `docs/main` when triggering this action
name: publish-docs-new-version
on:
workflow_dispatch:
inputs:
version:
description: 'The version that needs to be deployed'
description: 'Input the version that needs to be deployed. For example 2.0.0 (and make sure you select the branch docs/main when triggering this action.)'
required: true

jobs:
Expand All @@ -32,5 +32,3 @@ jobs:
- run: |
mike deploy --push --update-aliases ${{ github.event.inputs.version }} latest
mike list
# tag the repository
- run: git tag docs@${{ github.event.inputs.version }}
Loading