From 4596f33e84fe12b89e46b5ff31ac4b61672f193f Mon Sep 17 00:00:00 2001
From: Jennifer Rinker <rink@win.dtu.dk>
Date: Tue, 1 May 2018 19:42:28 +0200
Subject: [PATCH] adding CI config file

---
 .gitlab-ci.yml | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 .gitlab-ci.yml

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 00000000..03445241
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,23 @@
+image: nedadtu/pungi-ci:latest  # use Neil Davis's pungi image from dockerhub
+
+
+# ===== BUILD DOCS AND PUSH TO PUBLIC WEBSITE =====
+pages:  # "pages" is a job specifically for GitLab pages [1]
+  stage:  # build, test, deploy defined by default [2]
+    deploy
+  script:
+  - cd docs; make html  # use sphinx to build docs
+  - cd ../; mv docs/build/html public/  # move build to public page
+  artifacts:  # required for GitLab pages [1]
+    paths:
+    - public
+  only:  # only run for these branches
+  - master
+  - test_ci
+  tags:  # select which runners can do this job [3]
+  - python
+
+
+# [1] GitLab page: https://docs.gitlab.com/ee/ci/yaml/#pages
+# [2] CI stages: https://docs.gitlab.com/ee/ci/yaml/#stages
+# [3] Tags: https://docs.gitlab.com/ee/ci/yaml/#tags
\ No newline at end of file
-- 
GitLab