From b3b55c14ce4934baf5ccde26861e484fff7e906a Mon Sep 17 00:00:00 2001
From: Olaf Meeuwissen <paddy-hack@member.fsf.org>
Date: Tue, 24 Oct 2017 21:20:23 +0900
Subject: [PATCH] Add build support for `ceres` too.  Fixes #3

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0184b2a..e29645b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -21,6 +21,16 @@ stages:
 before_script:
   - docker login -u gitlab-ci-token -p "$CI_JOB_TOKEN" "$CI_REGISTRY"
 
+build:ceres:
+  stage: build
+  script:
+    - ./build.sh ceres
+
+derive:ceres:
+  stage: derive
+  script:
+    - ./derive.sh ceres
+
 build:ascii:
   stage: build
   script: