Skip to content

[CI] ci: fix docs deploy#604

Merged
jokasimr merged 2 commits into
mainfrom
fix-docs
May 27, 2026
Merged

[CI] ci: fix docs deploy#604
jokasimr merged 2 commits into
mainfrom
fix-docs

Conversation

@jokasimr
Copy link
Copy Markdown
Contributor

No description provided.

@jokasimr jokasimr requested a review from MridulS May 27, 2026 11:42
@github-actions github-actions Bot added the CI label May 27, 2026
@github-actions github-actions Bot changed the title ci: fix docs deploy [CI] ci: fix docs deploy May 27, 2026
@github-actions
Copy link
Copy Markdown

Hi! Your PR was missing some labels 🔖 so I added them: CI
Hi Again 👋! I added the missing prefix: [CI] to the title.

Comment thread .github/workflows/docs.yml Outdated
Co-authored-by: Sunyoung Yoo <17974113+YooSunYoung@users.noreply.github.com>
@jokasimr jokasimr requested a review from YooSunYoung May 27, 2026 12:53
@jokasimr jokasimr added this pull request to the merge queue May 27, 2026
Merged via the queue into main with commit 8d726f0 May 27, 2026
24 checks passed
@jokasimr jokasimr deleted the fix-docs branch May 27, 2026 13:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants