Brian Clozel e5e8574466 Install both Java 17 and Java 24 for building docs ...

Docs branches have different Java requirements we should ensure that all
required Java versions are available locally.

2025-06-13 00:52:48 +02:00

..

workflows

Install both Java 17 and Java 24 for building docs

2025-06-13 00:52:48 +02:00