Skip to content

ci: fix java 17 #342

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

Merged
merged 1 commit into from
Jun 24, 2025
Merged

ci: fix java 17 #342

merged 1 commit into from
Jun 24, 2025

Conversation

joker234
Copy link
Member

Description

Fix the jdk version to Java 17

Corresponding issue

None

New or changed dependencies

None

Checklist

- [ ] My code follows the code-style rules, and I have checked on the static analyses
- [ ] I have commented my code
- [ ] I have written javadoc (required for public methods)
- [ ] I have added sufficient unit and API tests
- [ ] I have made corresponding changes to the documentation
- [ ] I have updated the CHANGELOG.md
- [ ] I have adjusted the examples in the check-ohsome-api script or created an issue in the corresponding repository. More Information here.

@joker234 joker234 requested a review from rtroilo June 24, 2025 13:08
@joker234 joker234 added the CI Related to continuous integration (unit tests, build settings, etc.) label Jun 24, 2025
@joker234 joker234 merged commit 6b7671d into main Jun 24, 2025
5 checks passed
@joker234 joker234 deleted the jenkins-java-17 branch June 24, 2025 13:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI Related to continuous integration (unit tests, build settings, etc.)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants