diff --git a/nix/ci.sh b/nix/ci.sh
index 0fedfc3533b9c69ac2ab9e2d241b1e8995957bc3..858e342048efb861435db9bfd25bc202fa3ac28e 100755
--- a/nix/ci.sh
+++ b/nix/ci.sh
@@ -36,7 +36,7 @@ trap cleanup EXIT
 
 mkdir -p $TMP_DIR/frama-ci
 frama_ci_repo="$(readlink -f $TMP_DIR/frama-ci)"
-frama_ci_url="git@git.frama-c.com:frama-c/Frama-CI.git"
+frama_ci_url=${FRAMA_CI_LOCAL:-"git@git.frama-c.com:frama-c/Frama-CI.git"}
 frama_ci_branch="$(get_matching_branch "$frama_ci_url")"
 echo "using branch $frama_ci_branch of Frama-CI repo at $frama_ci_repo"
 git clone --depth=1 --branch="$frama_ci_branch" "$frama_ci_url" "$frama_ci_repo"