case

Co-authored-by: Justin Carpentier <justin.carpentier@inria.fr>
10 jobs for pr/234 in 90 minutes and 29 seconds (queued for 2 seconds)