From be8f3a80cab6fa5b5b5fa0ebbe5c518f4157c292 Mon Sep 17 00:00:00 2001
From: Florian Schmaus <flow@cs.fau.de>
Date: Fri, 27 Nov 2020 21:48:02 +0100
Subject: [PATCH] [Makefile] Add gitlab-runner target

---
 Makefile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Makefile b/Makefile
index 34a36097..25129c8d 100644
--- a/Makefile
+++ b/Makefile
@@ -76,3 +76,9 @@ format: all
 
 stresstest: test
 	./stresstest/stresstest.sh build/tests/simplest_fib_test
+
+# TODO: Determine how we can run also jobs from the 'test' stage,
+# e.g. test-gcc.
+.PHONY: gitlab-runner
+gitlab-runner:
+	gitlab-runner exec docker smoke-test
-- 
GitLab