Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Reject files if they use unit by mistake #432

Merged
merged 1 commit into from
Jan 12, 2022
Merged

Conversation

badboy
Copy link
Member

@badboy badboy commented Jan 7, 2022

The time metric types use time_unit, not unit.
Easy mistake to made, we can catch that.
Note: time_unit is OPTIONAL for all three metric types.

This is not a problem for memory_distribution, because its
memory_unit is REQUIRED.

Pull Request checklist

  • Quality: This PR builds and tests run cleanly
    • make test runs without emitting any warnings
    • make lint runs without emitting any errors
  • Tests: This PR includes thorough tests or an explanation of why it does not
  • Changelog: This PR includes a changelog entry to CHANGELOG.md or an explanation of why it does not need one
    • Any breaking changes to language binding APIs are noted explicitly

@badboy badboy force-pushed the catch-missing-time-unit branch 2 times, most recently from 88a5f3e to d02cfc9 Compare January 7, 2022 15:10
@badboy badboy force-pushed the catch-missing-time-unit branch 3 times, most recently from e456bbf to e4bdb46 Compare January 10, 2022 14:00
@badboy badboy requested review from chutten and mdboom January 10, 2022 14:00
@badboy badboy force-pushed the catch-missing-time-unit branch from e4bdb46 to f4271c1 Compare January 10, 2022 14:41
The time metric types use `time_unit`, not `unit`.
Easy mistake to made, we can catch that.
Note: `time_unit` is OPTIONAL for all three metric types.

This is not a problem for `memory_distribution`, because its
`memory_unit` is REQUIRED.
@badboy badboy force-pushed the catch-missing-time-unit branch from 25f9d27 to fc0e682 Compare January 12, 2022 15:59
@badboy badboy merged commit c52e0e7 into main Jan 12, 2022
@badboy badboy deleted the catch-missing-time-unit branch January 12, 2022 16:03
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants