Skip to content

ci: fix usage of Java 11 which should have been 17#239

Merged
jponge merged 1 commit intomainfrom
ci/fix-bad-11-usage
Jan 28, 2025
Merged

ci: fix usage of Java 11 which should have been 17#239
jponge merged 1 commit intomainfrom
ci/fix-bad-11-usage

Commits

Commits on Jan 28, 2025