contrib/ci.inria.fr: fix quotes to avoid invalid error messagesSigned-off-by: Brice Goglin <Brice.Goglin@inria.fr>(cherry picked from commit 7e9767c15daf84052bc4b98c6fe68d0b5c0837d2)