Thanks to visit codestin.com
Credit goes to github.com

Skip to content

docs: make event and time inline#688

Merged
George-Miao merged 1 commit into
compio-rs:masterfrom
George-Miao:doc/inline-event-time
Feb 14, 2026
Merged

docs: make event and time inline#688
George-Miao merged 1 commit into
compio-rs:masterfrom
George-Miao:doc/inline-event-time

Conversation

@George-Miao
Copy link
Copy Markdown
Member

No description provided.

Copilot AI review requested due to automatic review settings February 14, 2026 08:43
@George-Miao George-Miao force-pushed the doc/inline-event-time branch from 8d72730 to b0ff2b6 Compare February 14, 2026 08:44
@George-Miao George-Miao changed the title doc: make event and time inline docs: make event and time inline Feb 14, 2026
@George-Miao George-Miao self-assigned this Feb 14, 2026
@George-Miao George-Miao added the documentation Improvements or additions to documentation label Feb 14, 2026
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull request overview

This PR adjusts Rustdoc behavior for the event and time re-exports so their documentation is inlined at the compio crate root, matching the existing approach used for other re-exported modules/crates.

Changes:

  • Switch runtime::event re-export from #[doc(no_inline)] to #[doc(inline)]
  • Switch runtime::time re-export from #[doc(no_inline)] to #[doc(inline)]

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@Berrysoft
Copy link
Copy Markdown
Member

Why?

@George-Miao
Copy link
Copy Markdown
Member Author

@Berrysoft Time and event are two proper submodules, not re-exported dependency. I feel like they should be equally inlined like other submodules.

@George-Miao George-Miao merged commit 2b395cd into compio-rs:master Feb 14, 2026
54 checks passed
@George-Miao George-Miao deleted the doc/inline-event-time branch February 14, 2026 10:20
@github-actions github-actions Bot mentioned this pull request Feb 14, 2026
This was referenced Apr 21, 2026
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.

3 participants