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.

Sign up for GitHub

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

Jump to bottom

Support a dedicated log file to save general log #51248

Closed
4 tasks done
Defined2014 opened this issue Feb 22, 2024 · 0 comments
Closed
4 tasks done

Support a dedicated log file to save general log #51248

Defined2014 opened this issue Feb 22, 2024 · 0 comments
Assignees
@Defined2014
Labels
type/new-feature

Comments

@Defined2014
Copy link
Contributor

Defined2014 commented Feb 22, 2024 •
edited
Loading

Enhancement
@Defined2014 Defined2014 added the type/enhancement The issue or PR belongs to an enhancement. label Feb 22, 2024
@Defined2014 Defined2014 self-assigned this Feb 22, 2024
@Defined2014 Defined2014 added type/new-feature and removed type/enhancement The issue or PR belongs to an enhancement. labels Feb 22, 2024
@Defined2014 Defined2014 mentioned this issue Feb 22, 2024
Merged
13 tasks
@Defined2014 Defined2014 mentioned this issue Mar 1, 2024
Merged
17 tasks
ti-chi-bot bot pushed a commit that referenced this issue Mar 14, 2024
@Defined2014
log: Support a dedicated log file to save general log (#51249)
9545923 
ref #51248
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Defined2014 Defined2014

Labels
type/new-feature
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Defined2014