commit 8ca860a1938137f7f65e6f4bc9f0eba0a3eba251 Author: Stéphane Nicoll Date: Mon Jul 15 10:13:26 2024 +0200 Initiate CI branch