Merge branch 'kvx-work-velus' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into HEAD

7 jobs for patched_for_velus
latest
Status Job ID Name Coverage
  Build
manual #223901
manual
build_aarch64
manual #223900
manual
build_ia32
manual #223904
manual
build_kvx
manual #223903
manual
build_rv32
manual #223902
manual
build_rv64
manual #223899
manual
build_x86_64
manual #223898
manual
check-admitted