Skip to content

Conversation

@MrWoafer
Copy link
Owner

Summary

Adds a step to CI to build rustdoc.

@MrWoafer MrWoafer self-assigned this Oct 17, 2025
@MrWoafer MrWoafer merged commit bae74df into main Oct 17, 2025
1 check passed
@MrWoafer MrWoafer deleted the add-rustdoc-to-ci branch October 17, 2025 21:12
@MrWoafer MrWoafer changed the title Build rustdoc in CI Build rustdoc in CI Oct 17, 2025
@MrWoafer MrWoafer added the ci Changes to the CI setup label Oct 18, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci Changes to the CI setup

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants