Skip to content

Commit a6d0f3f

Browse files
committed
fix: docs generation to be commited to main
1 parent 8120200 commit a6d0f3f

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/add-docs-to-release.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -40,4 +40,4 @@ jobs:
4040
git config user.email "github-actions[bot]@users.noreply.github.com"
4141
git add docs
4242
git commit -m "chore: update docs [skip ci]" || echo "No changes to commit"
43-
git push
43+
git push origin HEAD:main --force-with-lease

0 commit comments

Comments
 (0)