Use verrou in the toolchain to run on any case file, not just the CI ones.
Use verrou in the toolchain to run on any case file, not just the CI ones.