Verificarlo CI: continuous integration for numerical optimization and debugging. - Aurélien Delval; François Coppens; Eric Petit 002; Roman Iakymchuk; Pablo de Oliveira Castro (CoRR, 2024)