Skip to content

Conversation

@patchback
Copy link
Contributor

@patchback patchback bot commented Apr 4, 2025

This is a backport of PR #112 as merged into main (ee89dbf).

SUMMARY

This PR add the new documentation docsite workflow

ISSUE TYPE
  • Docs Pull Request
COMPONENT NAME
ADDITIONAL INFORMATION

(cherry picked from commit ee89dbf)
@patchback patchback bot mentioned this pull request Apr 4, 2025
@keywordlabeler keywordlabeler bot added the documentation Documentation issue label Apr 4, 2025
@github-actions github-actions bot added the github_actions Pull requests that update GitHub Actions code label Apr 4, 2025
@NomakCooper
Copy link
Contributor

/approve

@repo-command
Copy link

repo-command bot commented Apr 4, 2025

Pull request approved by @NomakCooper

@repo-command repo-command bot added the approved label Apr 4, 2025
@NomakCooper NomakCooper merged commit 2f43cc2 into stable-10 Apr 4, 2025
2 checks passed
@repo-command repo-command bot added merged and removed approved labels Apr 4, 2025
@NomakCooper NomakCooper deleted the patchback/backports/stable-10/ee89dbfeb48b391cb8b7dd71c1b174142a199033/pr-112 branch April 4, 2025 17:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Documentation issue github_actions Pull requests that update GitHub Actions code merged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants