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

chore: Bump grmtools version #87

Merged
merged 2 commits into from
May 20, 2024
Merged

Conversation

ltratt
Copy link
Contributor

@ltratt ltratt commented May 20, 2024

This PR updates the version of grmtools promql-parser is using to 0.13.*. This has breaking changes in the API (see https://github.com/softdevteam/grmtools/blob/master/CHANGES.md) and also turns "unused tokens in the grammar" into errors. The first commit is the "minimal" update, but does leave cargo churning out error warnings. The second commit adds grmtools' %expect-unused lines to silence these warnings. I appreciate that this might not be what you want in a generated file, but I thought it would be useful to show what is necessary in this file to have a smooth experience.

Because of the current unused tokens in the grammar file, this requires
turning "warnings are errors" (the default) off.
Copy link

codecov bot commented May 20, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 98.99%. Comparing base (b11faca) to head (7a92889).

Changes have been made to critical files, which contain lines commonly executed in production. Learn more

Additional details and impacted files
@@           Coverage Diff           @@
##             main      #87   +/-   ##
=======================================
  Coverage   98.99%   98.99%           
=======================================
  Files          14       14           
  Lines        6272     6272           
=======================================
  Hits         6209     6209           
  Misses         63       63           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@yuanbohan yuanbohan changed the title Update grmtools chore: Bump grmtools version May 20, 2024
Copy link
Contributor

@evenyag evenyag left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. Thanks ❤️

@yuanbohan yuanbohan merged commit 8f89a65 into GreptimeTeam:main May 20, 2024
5 of 6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants