Brian Clozel b21e91fe32 Upgrade CI infrastructure ...

This commit upgrades versions for our CI infrastructure:

* Ubuntu OS
* Docker
* JDK 17

2023-04-24 23:23:19 +02:00

..

Dockerfile

Upgrade CI infrastructure

2023-04-24 23:23:19 +02:00