build: undo part of the changes done in sha:f70bcede

5 jobs for master in 3 minutes and 35 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
failed build #260826

00:03:35

 
  Release
skipped release #260829
skipped simca-docker #260827
skipped test_opam_test #260828
allowed to fail
 
  Deploy
skipped pages #260830
 
Name Stage Failure
failed
build Build
Makefile:12: recipe for target 'test0' failed
make[2]: Leaving directory '/builds/verimag/synchrone/sasa/test/dfs'
Makefile:3: recipe for target 'test' failed
make[1]: *** [test] Error 2
make[1]: Leaving directory '/builds/verimag/synchrone/sasa/test'
Makefile.sasa:9: recipe for target 'test' failed
make: *** [test] Error 2
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1