Inria CI extra-checks: remove left-over from commit 12aa0caf5a4a4f595
Inria CI extra-checks: remove left-over from commit 12aa0caf5a4a4f595

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml