Merge branch 'master' into ltest-experimental

1 job for ltest-experimental in 31 seconds (queued for 1 second)
Status Name Job ID Coverage
  Test
failed build #428193
docker

00:00:31

 
Name Stage Failure
failed
build Test
Removing chrony/.frama-c/chrony-ntp-core.parse/parse.log
Removing chrony/.frama-c/chrony-ntp-core.parse/stats.txt

Skipping Git submodules setup
Executing "step_script" stage of the job script
$ make -B all >/dev/null
make[1]: *** [GNUmakefile:42: 2048_Candidate] Error 1
make: *** [Makefile:109: 2048] Error 2
ERROR: Job failed: exit code 1