Merge branch 'dev' into 2-support-for-cameligo-in-the-binary

2019-06-01 12:58:39 +00:00 · 2019-06-01 12:58:39 +00:00 · df063ad180
commit df063ad180
parent a7298dc16d c322b1cd13
1 changed files with 4 additions and 2 deletions
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@ -80,6 +80,8 @@ remote-repo-job:
    #- opam install -y merlin
    #- opam install -y ocp-indent
    #- opam user-setup install
+  only:
+    - master

 # Run a docker build without publishing to the registry
 build-current-docker-image: