From 00d220b73e85773610d4a407c32fb0d5f3218195 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sun, 29 Oct 2017 10:32:34 +0100
Subject: [PATCH] tweak .gitlab-ci.yml

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 386e294c..f332ebc8 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,9 +1,13 @@
 image: ralfjung/opam-ci:latest
 
+stages:
+  - build
+
 variables:
   CPU_CORES: "9"
 
 .template: &template
+  stage: build
   tags:
   - fp-timing
   script:
-- 
GitLab