diff options
| author | Matias Goldfeld <[email protected]> | 2021-01-26 04:12:58 -0500 |
|---|---|---|
| committer | Matias Goldfeld <[email protected]> | 2021-01-26 04:12:58 -0500 |
| commit | 5f54215be6692b9caf8c662849a6cbf60aab3f5a (patch) | |
| tree | 1bbff5af7228505a46891ff9c81d1bcda03c9e79 | |
| parent | Whoops don't know how that got in there (diff) | |
| download | disml-5f54215be6692b9caf8c662849a6cbf60aab3f5a.tar.xz disml-5f54215be6692b9caf8c662849a6cbf60aab3f5a.zip | |
Fixed CI
| -rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 6c1ec6a..8b8025b 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -5,7 +5,6 @@ before_script: - opam init - eval `opam config env` - opam update - - opam pin add ppx_deriving_yojson --dev-repo -n - opam pin add disml . build: |