From 23cc7c6ea03ac6ad92c8da3101eb878daeb3bc2e Mon Sep 17 00:00:00 2001
From: Adelyn Breelove <tenseiken595@gmail.com>
Date: Mon, 4 Feb 2019 13:59:23 -0700
Subject: Update to latest master on ppx_deriving_yojson

---
 .gitlab-ci.yml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to '.gitlab-ci.yml')

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 9dd36cd..c4aa195 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -5,13 +5,12 @@ before_script:
   - opam init
   - eval `opam config env`
   - opam update
-  - opam pin add ppx_deriving_yojson https://github.com/ocaml-ppx/ppx_deriving_yojson.git#82bc0b8
-  - opam pin add -d disml .
+  - opam pin add disml .
 
 build:
   stage: build
   script:
-  - echo "Build successful"
+  - opam pin add odoc --dev-repo
   only:
   - master
 
-- 
cgit v1.2.3