diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 3b742da47ef688748b12398091b3321a7babde4c..c19d74a8223b4a066998fc2ff1947daea0aab039 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -16,7 +16,7 @@ default: ### VARIABLES variables: - DEFAULT: "stable/nickel" + DEFAULT: "master" OCAML: "4.13" ################################################################################