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

SIGMOD Revision Experiments #610

Merged
merged 53 commits into from
Oct 16, 2024
Merged

Conversation

MaxiBoether
Copy link
Contributor

i can finally contemplate my decisions again

Copy link

codecov bot commented Sep 2, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 85.58%. Comparing base (6436929) to head (bc7ed02).
Report is 1 commits behind head on main.

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #610   +/-   ##
=======================================
  Coverage   85.57%   85.58%           
=======================================
  Files         258      258           
  Lines       11371    11377    +6     
=======================================
+ Hits         9731     9737    +6     
  Misses       1640     1640           

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

Copy link

github-actions bot commented Sep 2, 2024

Line Coverage: -% ( % to main)
Branch Coverage: -% ( % to main)

@MaxiBoether MaxiBoether changed the title [wip­] sigmod revision experiments SIGMOD Revision Experiments Oct 14, 2024
@MaxiBoether MaxiBoether marked this pull request as ready for review October 14, 2024 16:24
Copy link
Collaborator

@robinholzi robinholzi left a comment

Choose a reason for hiding this comment

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

Didn't inspect the plotting changes in detail but LGTM!

@MaxiBoether MaxiBoether merged commit b63795f into main Oct 16, 2024
24 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.

2 participants