diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 3be36fee6c1252fd76117cd18912f6e4bb0c5f68..cb7e614039b66612916a5bd8753251748750363b 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -20,7 +20,7 @@ default: ### VARIABLES variables: - DEFAULT: "feature/bobot/jbuilder" + DEFAULT: "master" OCAML: "4.11" PUBLISH: "no"