aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAdelyn Breelove <[email protected]>2019-01-30 11:00:55 -0700
committerAdelyn Breelove <[email protected]>2019-01-30 11:00:55 -0700
commit1f4bf7eef48500b387dbdf154b7e1a6dc6c648ae (patch)
treed3715f66d593097172d377da3e2a82e59dd3ada5
parentbump to 0.2.3 (diff)
downloaddisml-1f4bf7eef48500b387dbdf154b7e1a6dc6c648ae.tar.xz
disml-1f4bf7eef48500b387dbdf154b7e1a6dc6c648ae.zip
Add a dummy job that will be used later
-rw-r--r--.gitlab-ci.yml7
1 files changed, 7 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7c3b06f..9dd36cd 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -8,6 +8,13 @@ before_script:
- opam pin add ppx_deriving_yojson https://github.com/ocaml-ppx/ppx_deriving_yojson.git#82bc0b8
- opam pin add -d disml .
+build:
+ stage: build
+ script:
+ - echo "Build successful"
+ only:
+ - master
+
pages:
stage: deploy
script: