Merge branch 'fix/blanchard/ci/wp-cache-failure' into 'master'

[nix] fail when creating wp-cache fails

Closes #1358

See merge request frama-c/frama-c!4688

nix/wp-cache.nix.sh

@@ -21,7 +21,10 @@
 #                                                                        #
 ##########################################################################
 
-commit="$(git ls-remote git@git.frama-c.com:frama-c/wp-cache.git HEAD | cut -f1)"
+commit="$(git ls-remote git@git.frama-c.com:frama-c/wp-cache.git HEAD)"
+if [ $? != 0 ]; then exit 1; fi
+
+commit=$(echo "$commit" | cut -f1)
 
 cat >./nix/wp-cache.nix << EOL
 { lib, stdenv } :