Skip to content

Conversation

@George-Miao
Copy link
Member

No description provided.

@George-Miao George-Miao self-assigned this Dec 16, 2025
@George-Miao George-Miao added the documentation Improvements or additions to documentation label Dec 16, 2025
@George-Miao George-Miao force-pushed the doc/fobid-broken-link branch from 86518a1 to 375f4de Compare December 16, 2025 16:18
Berrysoft
Berrysoft previously approved these changes Dec 16, 2025
Copy link
Member

@Berrysoft Berrysoft left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@Berrysoft Berrysoft changed the title doc: deny rustdoc::broken_intra_doc_links docs: deny rustdoc::broken_intra_doc_links Dec 16, 2025
@George-Miao George-Miao force-pushed the doc/fobid-broken-link branch from 16e179d to 150ed8f Compare December 16, 2025 16:47
@George-Miao George-Miao changed the title docs: deny rustdoc::broken_intra_doc_links docs: deny rustdoc::broken_intra_doc_links Dec 16, 2025
@George-Miao George-Miao force-pushed the doc/fobid-broken-link branch from 150ed8f to f58f94c Compare December 16, 2025 16:48
Berrysoft
Berrysoft previously approved these changes Dec 16, 2025
@George-Miao George-Miao force-pushed the doc/fobid-broken-link branch from 2fc4c81 to 4b63c08 Compare December 16, 2025 17:31
@George-Miao George-Miao merged commit c7c3c6f into compio-rs:master Dec 16, 2025
51 of 53 checks passed
@George-Miao George-Miao deleted the doc/fobid-broken-link branch December 16, 2025 17:32
@George-Miao George-Miao mentioned this pull request Dec 16, 2025
6 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants