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

Java 17 #3510

Merged
merged 10 commits into from
Jan 21, 2025
Merged

Java 17 #3510

merged 10 commits into from
Jan 21, 2025

Conversation

sebr72
Copy link
Contributor

@sebr72 sebr72 commented Nov 8, 2024

No description provided.

@sebr72
Copy link
Contributor Author

sebr72 commented Nov 8, 2024

@sbrunner Your turn ;-)

core/Dockerfile Outdated Show resolved Hide resolved
@sbrunner sbrunner force-pushed the java-17 branch 2 times, most recently from 7c0a9be to 6105aa2 Compare November 8, 2024 16:41
@sebr72 sebr72 force-pushed the java-17 branch 2 times, most recently from 1202ace to 5fd1331 Compare January 15, 2025 18:39
@sebr72 sebr72 marked this pull request as ready for review January 17, 2025 13:11
@sebr72 sebr72 requested a review from sbrunner January 17, 2025 19:06
@sebr72 sebr72 merged commit 85446ee into master Jan 21, 2025
10 checks passed
@sebr72 sebr72 deleted the java-17 branch January 21, 2025 13:50
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