Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Simplify the doc annotations. #207

Merged
merged 1 commit into from
Jan 10, 2025
Merged

Simplify the doc annotations. #207

merged 1 commit into from
Jan 10, 2025

Conversation

Alexhuszagh
Copy link
Owner

This removes all but the lint internal features, making it so doc_autocfg can work as expected, and avoiding disconnects between the docs and the required features.

@Alexhuszagh Alexhuszagh added enhancement New feature or request documentation Fix in the documentation labels Jan 10, 2025
@Alexhuszagh Alexhuszagh self-assigned this Jan 10, 2025
@Alexhuszagh Alexhuszagh marked this pull request as draft January 10, 2025 13:51
@Alexhuszagh
Copy link
Owner Author

This requires some patches from the extras feature detections, which uses floats and integers for other reasons but should be used how we use parse-floats, etc.

This removes all but the lint internal features, making it so `doc_autocfg` can work as expected, and avoiding disconnects between the docs and the required features. This cannot have backward-incompatible issues since we forced compile errors if incorrect feature combinations were used.
@Alexhuszagh Alexhuszagh marked this pull request as ready for review January 10, 2025 19:03
@Alexhuszagh Alexhuszagh merged commit 85d1e4a into main Jan 10, 2025
38 checks passed
@Alexhuszagh Alexhuszagh deleted the doc_autocfg branch January 10, 2025 19:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Fix in the documentation enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant