diff options
author | jaseg <git@jaseg.de> | 2021-04-08 14:09:52 +0200 |
---|---|---|
committer | jaseg <git@jaseg.de> | 2021-04-15 23:31:38 +0200 |
commit | a155eac0ae71286cd7d8376519957d2e6da8e154 (patch) | |
tree | ed915314ab3deb66c95999445f55b30f255a177b | |
parent | 031a5dcd8141ad2cb8a49660e9b389dcbb8fc6ea (diff) | |
download | ihsm-a155eac0ae71286cd7d8376519957d2e6da8e154.tar.gz ihsm-a155eac0ae71286cd7d8376519957d2e6da8e154.tar.bz2 ihsm-a155eac0ae71286cd7d8376519957d2e6da8e154.zip |
Add gitlab CI config
-rw-r--r-- | .gitlab-ci.yml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml new file mode 100644 index 0000000..0f649ac --- /dev/null +++ b/.gitlab-ci.yml @@ -0,0 +1,7 @@ +stages: + - build + +paper-pdf-build-job: + stage: build + script: + - make -C paper |