synchronize with frama-c master

1 job for master in 58 minutes and 29 seconds (queued for 6 seconds)
Name Stage Failure
build Test

Skipping Git submodules setup
Executing "step_script" stage of the job script
Using docker image sha256:603d0f9e4a3a8593b1493214977c370748fd275ee14bd43a63424a91e5339afe for framac/frama-c:dev-stripped with digest framac/frama-c@sha256:bbe3d3124a254ab6a005f3a18cf9d2e917c7e18de193df872c7d222f8b17b378 ...
$ make -B all >/dev/null
make[1]: *** [/usr/local/share/frama-c/analysis-scripts// mini-gmp.eva] Error 1
make: *** [Makefile:101: mini-gmp] Error 2
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1