Skip to content

Conversation

apupier
Copy link

@apupier apupier commented Jul 16, 2025

The previous badges were pointing to old CI (last run in 2021) leading to false impression that it is tested with Java 7, 8 and 11 only.

I updated to point to new GitHub Ci. I only pointed to the top-level as I have not found a way to point to specific job of a GitHub workflow.

Thank you for opening a Pull Request! Before submitting your PR, there are a few things you can do to make sure it goes smoothly:

  • Make sure to open an issue as a bug/issue before writing your code! That way we can discuss the change, evaluate designs, and agree on the general idea
  • Ensure the tests and linter pass
  • Code coverage does not decrease (if any source code was changed)
  • Appropriate docs were updated (if necessary)

Fixes #<issue_number_goes_here> ☕️

If you write sample code, please follow the samples format.

@apupier apupier requested a review from a team as a code owner July 16, 2025 11:27
@product-auto-label product-auto-label bot added the size: xs Pull request size is extra small. label Jul 16, 2025
The previous badges were pointing to old CI (last run in 2021) leading to false impression that it is tested with Java 7, 8 and 11 only. I updated to point to new GitHub Ci. I only pointed to the top-level as I have not found a way to point to specific job of a GitHub workflow.
@apupier
Copy link
Author

apupier commented Oct 8, 2025

any chance to have this very small PR reviewed? otherwise, I will close it to clean my list of opened PRs

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

size: xs Pull request size is extra small.

1 participant