[local.sh] temporary commit to reproduce on ci.inria.fr a bug found by Shi Bai
[local.sh] temporary commit to reproduce on ci.inria.fr a bug found by Shi Bai

mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs