diff options
| author | Adelyn Breelove <[email protected]> | 2019-02-04 13:59:23 -0700 |
|---|---|---|
| committer | Adelyn Breelove <[email protected]> | 2019-02-04 13:59:23 -0700 |
| commit | 23cc7c6ea03ac6ad92c8da3101eb878daeb3bc2e (patch) | |
| tree | 42441f45c99e8bfaeabf4cd2083d4e375c41d92e /.gitlab-ci.yml | |
| parent | Update yojson to 1.6.0 (diff) | |
| download | disml-23cc7c6ea03ac6ad92c8da3101eb878daeb3bc2e.tar.xz disml-23cc7c6ea03ac6ad92c8da3101eb878daeb3bc2e.zip | |
Update to latest master on ppx_deriving_yojson
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 5 |
1 files changed, 2 insertions, 3 deletions
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 |