From 7d2e5f7576e9f4cb18cccd44ed7f63b1e99f9727 Mon Sep 17 00:00:00 2001
From: stuebinm <stuebinm@disroot.org>
Date: Thu, 11 Mar 2021 00:36:19 +0100
Subject: [PATCH] ci: split up pipelines by host
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.

pipeline: fix mistake in build command

(previous commit contained two builds for nixda, none for hainich)
---
 .gitlab-ci.yml | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index cf67fe9..2fc6a56 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.hainich