Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
*: add the scheduling configuration metrics #1406
What problem does this PR solve?
For now, we can only find the parameters of the configuration through the log, which is not friendly.
What is changed and how it works?
This PR adds some important configurations into metrics.