Skip to content
This repository was archived by the owner on Oct 24, 2020. It is now read-only.

Commit 1bef285

Browse files
committed
chore: no depopts in travis
1 parent 7bc1798 commit 1bef285

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

.travis.yml

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,6 @@ env:
77
global:
88
- PINS="bigstring:. bigstring-unix:."
99
- DISTRO="ubuntu-16.04"
10-
- DEPOPTS="base-unix"
1110
matrix:
1211
#- PACKAGE="bigstring" OCAML_VERSION="4.02.3" DEPOPTS="base-unix"
1312
- PACKAGE="bigstring" OCAML_VERSION="4.03"

0 commit comments

Comments
 (0)