Skip to content

fix release-docs workflow credentials#1758

Merged
tamirkamara merged 1 commit intomainfrom
tamirkamara/fix-release-docs
Oct 22, 2025
Merged

fix release-docs workflow credentials#1758
tamirkamara merged 1 commit intomainfrom
tamirkamara/fix-release-docs

Conversation

@tamirkamara
Copy link
Contributor

Change Description

mkdocs needs credentials to push to the pages branch. One method is to persist the GitHub token from the checkout step (which we remove everywhere else).

Checklist

  • I have reviewed the contribution guidelines
  • I have signed the CLA (if required)
  • My code includes unit tests
  • All unit tests and lint checks pass locally
  • My PR contains documentation updates / additions if required

@tamirkamara tamirkamara changed the title fix credentials fix release-docs workflow credentials Oct 22, 2025
@tamirkamara tamirkamara force-pushed the tamirkamara/fix-release-docs branch from 36c4247 to b5891a9 Compare October 22, 2025 06:03
@tamirkamara tamirkamara force-pushed the tamirkamara/fix-release-docs branch from b5891a9 to a06a46d Compare October 22, 2025 10:25
@tamirkamara tamirkamara reopened this Oct 22, 2025
@tamirkamara tamirkamara reopened this Oct 22, 2025
@tamirkamara tamirkamara merged commit 0f9d80f into main Oct 22, 2025
80 checks passed
@tamirkamara tamirkamara deleted the tamirkamara/fix-release-docs branch October 22, 2025 11:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants