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

Label collection fixes and cleanup #343

Merged
merged 4 commits into from
Feb 17, 2024
Merged

Label collection fixes and cleanup #343

merged 4 commits into from
Feb 17, 2024

Commits on Feb 17, 2024

  1. Configuration menu
    Copy the full SHA
    7f2496e View commit details
    Browse the repository at this point in the history
  2. feat(collection): remove repeated formatting of label text

    Because of a typo, the label text was being formatted multiple times per
    label in a collection. With the fix, the text is formatted only once per
    collection
    Nahor committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    d144f7a View commit details
    Browse the repository at this point in the history
  3. feat(collection): chain iterators rather than extend vector

    Since we are going to iterate anyway, instead of growing the label vector,
    chain the iterators. This should be more efficient.
    
    In some cases, this also remove a compilation warning about the label
    vector being unnecessarily mutable.
    Nahor committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    85576d7 View commit details
    Browse the repository at this point in the history
  4. feat(collection): remove unnecessary OptionalWrapper

    - In a label collection, there is no need for a `None` label. One should
      just not add that label
    - Code wise it is also incorrect. The wrapper will be for a vector of
      spans, not for individual spans. It happens to work anyway, but this was
      not the intended use.
    Nahor committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    589eacc View commit details
    Browse the repository at this point in the history