diff options
| author | Adelyn Breelove <[email protected]> | 2019-02-12 14:57:00 -0700 |
|---|---|---|
| committer | Adelyn Breelove <[email protected]> | 2019-02-12 14:57:00 -0700 |
| commit | 5104dac575453cef630489c04302c13c47a73474 (patch) | |
| tree | d84d65b0be18d69574761a00aedcee41b6c32f79 | |
| parent | merge resolve (diff) | |
| download | disml-5104dac575453cef630489c04302c13c47a73474.tar.xz disml-5104dac575453cef630489c04302c13c47a73474.zip | |
broke my build again
| -rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 4043ee5..33c8611 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -5,6 +5,7 @@ before_script: - opam init - eval `opam config env` - opam update + - opam pin add ppx_deriving_yojson --dev-repo -n - opam pin add disml . build: |