From 5609620f2d1c6bc59411d727c0de0d4c308438a9 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gregor.kleen@ifi.lmu.de>
Date: Tue, 2 Feb 2021 20:17:04 +0100
Subject: [PATCH] chore(gitlab-ci): always offer all build jobs as manual

---
 .gitlab-ci.yml | 17 ++++++++++-------
 1 file changed, 10 insertions(+), 7 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1529170f8..c0a958a90 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,3 +1,9 @@
+workflow:
+  rules:
+    - if: '$CI_PIPELINE_SOURCE == "push"'
+      when: always
+    - when: never
+
 default:
   image:
     name: fpco/stack-build:lts-16.11
@@ -118,10 +124,9 @@ yesod:build:dev:
     - frontend:build
 
   rules:
-    - if: $CI_COMMIT_REF_NAME !~ /^v[0-9].*/
-      when: always
-    - if: $CI_COMMIT_REF_NAME =~ /^v[0-9].*/
+    - if: $CI_COMMIT_REF_NAME =~ /(^v[0-9].*)|((^|\/)profile($|\/))/
       when: manual
+    - when: always
 
   retry: 2
   interruptible: true
@@ -145,8 +150,7 @@ yesod:build:
   rules:
     - if: $CI_COMMIT_REF_NAME =~ /^v[0-9].*/
       when: always
-    - if: $CI_COMMIT_REF_NAME !~ /^v[0-9].*/
-      when: manual
+    - when: manual
 
   retry: 2
   interruptible: true
@@ -173,8 +177,7 @@ yesod:build:profile:
   rules:
     - if: $CI_COMMIT_REF_NAME =~ /(^|\/)profile($|\/)/
       when: always
-    - if: $CI_COMMIT_REF_NAME !~ /(^|\/)profile($|\/)/
-      when: manual
+    - when: manual
 
   retry: 2
   interruptible: true