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(server): add runner metrics; refactoring batch size metrics #2977

Merged
merged 10 commits into from Sep 16, 2022

Commits on Sep 15, 2022

  1. Update variables in metric names as labels

    ssheng authored and bojiang committed Sep 15, 2022
    Copy the full SHA
    a23033c View commit details
    Browse the repository at this point in the history
  2. Copy the full SHA
    0d3618c View commit details
    Browse the repository at this point in the history
  3. add config; fix typing

    bojiang committed Sep 15, 2022
    Copy the full SHA
    0ba921f View commit details
    Browse the repository at this point in the history
  4. asdf

    bojiang committed Sep 15, 2022
    Copy the full SHA
    d9467a6 View commit details
    Browse the repository at this point in the history
  5. fix

    bojiang committed Sep 15, 2022
    Copy the full SHA
    abc401f View commit details
    Browse the repository at this point in the history
  6. fix style

    bojiang committed Sep 15, 2022
    Copy the full SHA
    cb29470 View commit details
    Browse the repository at this point in the history
  7. make pylint happy

    bojiang committed Sep 15, 2022
    Copy the full SHA
    d9818e0 View commit details
    Browse the repository at this point in the history
  8. fix: invalid character

    bojiang committed Sep 15, 2022
    Copy the full SHA
    8aeb5fe View commit details
    Browse the repository at this point in the history
  9. Copy the full SHA
    5885e13 View commit details
    Browse the repository at this point in the history
  10. amend

    bojiang committed Sep 15, 2022
    Copy the full SHA
    b4ab719 View commit details
    Browse the repository at this point in the history