From 17469a3233eef5e547be930b0aba1ec5b51307e9 Mon Sep 17 00:00:00 2001
From: Orestis Malaspinas <orestis.malaspinas@hesge.ch>
Date: Tue, 14 May 2019 13:17:23 +0200
Subject: [PATCH] added gitlab-ci

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 0000000..e518cc3
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,47 @@
+image: omalaspinas/archlinux-pandoc:latest
+
+# before_script:
+#    ##
+#    ## Install ssh-agent if not already installed, it is required by Docker.
+#    ## (change apt-get to yum if you use an RPM-based image)
+#    ##
+#    - 'which ssh-agent || (pacman -S --noconfirm openssh)'
+#    - 'which rsync || (pacman -S --noconfirm rsync)'
+
+
+#    ##
+#    ## Run ssh-agent (inside the build environment)
+#    ##
+#    - eval $(ssh-agent -s)
+
+#    ##
+#    ## Add the SSH key stored in SSH_PRIVATE_KEY variable to the agent store
+#    ## We're using tr to fix line endings which makes ed25519 keys work
+#    ## without extra base64 encoding.
+#    ## https://gitlab.com/gitlab-examples/ssh-private-key/issues/1#note_48526556
+#    ##
+#    - echo "$SSH_PRIVATE_KEY" | tr -d '\r' | ssh-add - > /dev/null
+
+#    ##
+#    ## Create the SSH directory and give it the right permissions
+#    ##
+#    - mkdir -p ~/.ssh
+#    - chmod 700 ~/.ssh
+
+#    ##
+#    ## Add host id to known_hosts
+#    ##
+#    - echo "$SSH_KNOWN_HOSTS" > ~/.ssh/known_hosts
+#    - chmod 644 ~/.ssh/known_hosts
+
+
+build_only:
+  script:
+    - make -C enonce
+
+build_artifacts:
+  script:
+    - make -C enonce
+  artifacts:
+    paths:
+      - "enonce/*.pdf"
-- 
GitLab