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: update geantyref with latest jpms pr #235

Merged
merged 1 commit into from
Aug 18, 2024
Merged

Conversation

sgammon
Copy link
Member

@sgammon sgammon commented Aug 18, 2024

Summary

Updates Geantyref with the latest PR revision.

Signed-off-by: Sam Gammon <sam@elide.ventures>
@sgammon sgammon added ✋ embargoed Waiting for further action 🚧 WIP Work-in-progress java Pull requests that update Java code labels Aug 18, 2024
@sgammon sgammon self-assigned this Aug 18, 2024
@sgammon sgammon removed ✋ embargoed Waiting for further action 🚧 WIP Work-in-progress labels Aug 18, 2024
@sgammon sgammon added this pull request to the merge queue Aug 18, 2024
Copy link

codecov bot commented Aug 18, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 91.29%. Comparing base (4016b3a) to head (3cad59f).
Report is 56 commits behind head on main.

Additional details and impacted files

Impacted file tree graph

@@           Coverage Diff           @@
##             main     #235   +/-   ##
=======================================
  Coverage   91.29%   91.29%           
=======================================
  Files          32       32           
  Lines        7429     7429           
  Branches      453      453           
=======================================
  Hits         6782     6782           
  Misses        638      638           
  Partials        9        9           
Flag Coverage Δ
packages 91.29% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.


Continue to review full report in Codecov by Sentry.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 4016b3a...3cad59f. Read the comment docs.

@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Aug 18, 2024
@sgammon sgammon added this pull request to the merge queue Aug 18, 2024
@sgammon sgammon removed this pull request from the merge queue due to a manual request Aug 18, 2024
@sgammon sgammon merged commit f4763ae into main Aug 18, 2024
9 checks passed
@sgammon sgammon deleted the chore/update-geantyref branch August 18, 2024 22:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
java Pull requests that update Java code
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

1 participant