Let CI use both OpenJDK 11 and OpenJDK 21#1419

Merged

wks merged 5 commits intommtk:masterfrom

wks:update/openjdk-21-ci

Dec 1, 2025

Commits on Nov 26, 2025

Let CI use OpenJDK 21
wks
committed

Commits on Nov 27, 2025

Commits on Nov 28, 2025

Update ready-to-merge criteria
wks
committed

Commits on Dec 1, 2025

Merge branch 'master' into update/openjdk-21-ci
wks
committed