Skip to content

Conversation

@Lancetnik
Copy link
Member

No description provided.

@github-actions github-actions bot added the github_actions Pull requests that update GitHub Actions code label Sep 5, 2025
@Lancetnik Lancetnik added this pull request to the merge queue Sep 5, 2025
Merged via the queue into main with commit 6c49ace Sep 5, 2025
27 checks passed
@Lancetnik Lancetnik deleted the ci/build-docs-by-pat branch September 5, 2025 20:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants