Define Inria CI's Risc-V job as a Jenkins pipeline, take #1
Define Inria CI's Risc-V job as a Jenkins pipeline, take #1

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