From f9d2daf7f3ad306c00303c1f5bf9acd31ab7a2bd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Suzanne=20Dup=C3=A9ron?= <ligo@suzanne.soy>
Date: Mon, 17 Feb 2020 14:26:01 +0100
Subject: [PATCH] Run dev pipeline for *-run-dev branches

---
 .gitlab-ci.yml | 16 +++++++++++++---
 1 file changed, 13 insertions(+), 3 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c5f606e45..3678d54ae 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -112,6 +112,7 @@ local-dune-job:
   only:
     - merge_requests
     - dev
+    - /^.*-run-dev$/
 
 # Run a docker build without publishing to the registry
 build-current-docker-image:
@@ -136,10 +137,10 @@ build-and-publish-latest-docker-image:
     - sh scripts/build_docker_image.sh
     - sh scripts/test_cli.sh
     - echo ${LIGO_REGISTRY_PASSWORD} | docker login -u ${LIGO_REGISTRY_USER} --password-stdin
-    - docker push ${LIGO_REGISTRY_IMAGE_BUILD:-ligolang/ligo}:next
+    - docker push ${LIGO_REGISTRY_IMAGE_BUILD:-ligolang/ligo}:$(if "$CI_COMMIT_REF_NAME" = "dev" then echo next else echo next-attempt)
   rules:
     # Only deploy docker when from the dev branch AND on the canonical ligolang/ligo repository
-    - if: '$CI_COMMIT_REF_NAME == "dev" && $CI_PROJECT_PATH == "ligolang/ligo"'
+    - if: '$CI_COMMIT_REF_NAME =~ /^(dev|.*-run-dev)$/ && $CI_PROJECT_PATH == "ligolang/ligo"'
       when: always
 
 # It'd be a good idea to generate those jobs dynamically,
@@ -155,6 +156,7 @@ build-and-package-debian-9:
   <<: *build_binary
   only:
     - dev
+    - /^.*-run-dev$/
 
 build-and-package-debian-10:
   <<: *docker
@@ -171,6 +173,7 @@ build-and-package-debian-10:
   only:
     - merge_requests
     - dev
+    - /^.*-run-dev$/
 
 build-and-package-ubuntu-18-04:
   <<: *docker
@@ -183,6 +186,7 @@ build-and-package-ubuntu-18-04:
   <<: *build_binary
   only:
     - dev
+    - /^.*-run-dev$/
 
 build-and-package-ubuntu-19-04:
   <<: *docker
@@ -195,6 +199,7 @@ build-and-package-ubuntu-19-04:
   <<: *build_binary
   only:
     - dev
+    - /^.*-run-dev$/
 
 # Pages are deployed from dev, be careful not to override 'next'
 # in case something gets merged into 'dev' while releasing.
@@ -204,6 +209,12 @@ pages:
     - if: '$CI_COMMIT_REF_NAME == "dev" && $CI_PROJECT_PATH == "ligolang/ligo"'
       when: always
 
+pages-attempt:
+  <<: *website_build
+  rules:
+    - if: '$CI_COMMIT_REF_NAME =~ /^.*-run-dev$/ && $CI_PROJECT_PATH == "ligolang/ligo"'
+      when: always
+
 # WEBIDE jobs
 
 run-webide-unit-tests:
@@ -264,4 +275,3 @@ deploy-handoff:
   rules:
     - if: '$CI_COMMIT_REF_NAME == "dev"'
       when: always
-