test

merge: split `tools`, upgrade to Java 21 (#1022) #1

Sign in to view logs

GitHub Actions / junit-tests succeeded Dec 13, 2023 in 0s

141 tests run, 141 passed, 0 skipped, 0 failed.

View more details on GitHub Actions