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

feat: Add logs #132

Merged
merged 10 commits into from
Nov 11, 2023
Merged

feat: Add logs #132

merged 10 commits into from
Nov 11, 2023

Conversation

ho-229
Copy link
Contributor

@ho-229 ho-229 commented Nov 4, 2023

No description provided.

@ho-229 ho-229 marked this pull request as draft November 4, 2023 11:11
@George-Miao George-Miao added enhancement New feature or request package: log Related to compio-log labels Nov 5, 2023
@George-Miao George-Miao added this to the v0.9 release milestone Nov 5, 2023
compio-runtime/src/runtime/mod.rs Outdated Show resolved Hide resolved
compio-log/src/lib.rs Show resolved Hide resolved
@ho-229 ho-229 marked this pull request as ready for review November 9, 2023 06:53
Copy link
Member

@George-Miao George-Miao left a comment

Choose a reason for hiding this comment

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

LGTM

@George-Miao George-Miao merged commit e8408d4 into compio-rs:master Nov 11, 2023
11 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request package: log Related to compio-log
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants