Skip to content
Open
Show file tree
Hide file tree
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
14 changes: 7 additions & 7 deletions .github/workflows/manual_release_docs.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -71,13 +71,13 @@ jobs:
run: uv run poe update-docs-theme

- name: Commit the updated package.json and lockfile
run: |
git config user.name 'GitHub Actions'
git config user.email 'github-actions[bot]@users.noreply.github.com'
git add website/package.json
git add website/yarn.lock
git diff-index --quiet HEAD || git commit -m 'chore: Automatic docs theme update [skip ci]' || true
git push
uses: EndBug/add-and-commit@v10
with:
add: website/package.json website/yarn.lock
message: "chore: Automatic docs theme update [skip ci]"
default_author: github_actions
# Required: checkout may leave a detached HEAD when invoked with a SHA ref.
new_branch: ${{ github.event.repository.default_branch }}

- name: Build docs
run: uv run poe build-docs
Expand Down
2 changes: 2 additions & 0 deletions .github/workflows/manual_version_docs.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -123,6 +123,8 @@ jobs:
add: website/versioned_docs website/versioned_sidebars website/versions.json
message: "docs: Version docs for v${{ steps.snapshot.outputs.version }} [skip ci]"
default_author: github_actions
# Required: checkout may leave a detached HEAD when invoked with a SHA ref.
new_branch: ${{ github.event.repository.default_branch }}

- name: Resolve output commitish
id: resolve_commitish
Expand Down