Skip to content

Conversation

@Youw
Copy link
Member

@Youw Youw commented Mar 2, 2025

Fix build with latest GithubActions.

Fix build with latest GithubActions.
@Youw Youw merged commit 424d63f into master Mar 2, 2025
17 of 21 checks passed
@Youw Youw deleted the fix-docs-build branch March 2, 2025 19:42
@mcuee mcuee added documentation Improvements or additions to documentation build system/CI Anything related to building the project or running on CI labels Mar 23, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

build system/CI Anything related to building the project or running on CI documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants