Inria CI: use a timeout, take #2
Inria CI: use a timeout, take #2

Let's try with a very short timeout, to make sure the job will exceed it.

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