Basic ci config.

.gitlab-ci.yml

+---
+debian:9--gcc:
+  image: registry.dune-project.org/joe/dune-perftest-ci/perftools:9
+  script:
+    duneci-standard-test

bin/dune-ctest

+#!/bin/sh
+
+echo >&2 "Skipping tests for now"
+
+true