| commit | fd568db13ba7424f090b272c7720e6a95c9f65bf | [log] [tgz] |
|---|---|---|
| author | Krzysztof Jurewicz <krzysztof.jurewicz@gmail.com> | Wed Feb 07 11:22:13 2018 +0100 |
| committer | Krzysztof Jurewicz <krzysztof.jurewicz@gmail.com> | Wed Feb 07 11:22:13 2018 +0100 |
| tree | 3251e5ece8b67a8656d0354bf6e83d682e8434fe | |
| parent | 7678e30a9cf17f7f117d5bcc931f78c7fab82424 [diff] |
Remove .travis.yml Since we’re moving to GitLab CI, it should not be needed anymore.
diff --git a/.travis.yml b/.travis.yml deleted file mode 100644 index 30f3f58..0000000 --- a/.travis.yml +++ /dev/null
@@ -1,18 +0,0 @@ -sudo: false -language: erlang -otp_release: - - 20.1.6 - - 20.0.4 - - 19.0 - - 18.3 - - 17.3 - - 17.1 - - 17.0 - - R16B03-1 - - R15B03 -env: MAKE_TARGET=ci -matrix: - include: - - otp_release: 20.1.6 - env: MAKE_TARGET=ci-dialyze -script: make $MAKE_TARGET