Skip to content

github actions: use jdk21 for all builds#1801

Merged
mpollmeier merged 1 commit intomasterfrom michael/github-actions-jdkJan 10, 2025

Commits

Commits on Jan 10, 2025