From 6d32cc6f08f1b858a355be607e88dc486eee9f7a Mon Sep 17 00:00:00 2001
From: stuebinm <stuebinm@disroot.org>
Date: Thu, 11 Mar 2021 00:36:19 +0100
Subject: [PATCH] Separate pipelines for separate hosts.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Rationale: if one build fails, the other one will still continue running.
Especially since we already have some (and will presumably add more)
proprietary software to nixda which may require manual intervention
using nix-prefetch-url, this seems like a good idea.

An alternative would be to just specifiy `--keep-going`, but this seems
likely to lead to unreadable output.

However, I'm not sure what exactly happens when we try to run builds for
both hosts at once on the same nix store — it may be that this isn't the
best idea, but I guess we can just make the pipelines sequential instead
if necessary.
---
 .gitlab-ci.yml | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index cf67fe9..336e797 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,9 +1,16 @@
 stages:
   - build
 
-build:
+build-nixda:
   tags:
     - nix
   stage: build
   script:
-    - nix-build -A deploy.all
+    - nix-build -A deploy.nixda
+
+build-hainich:
+  tags:
+    - nix
+  stage: build
+  script:
+    - nix-build -A deploy.nixda