mirror of
https://github.com/c-cube/sidekick.git
synced 2025-12-07 11:45:41 -05:00
chore: fix travis, only build on >= 4.03
This commit is contained in:
parent
225afb624e
commit
b12db3f03e
1 changed files with 1 additions and 1 deletions
|
|
@ -8,7 +8,7 @@ env:
|
|||
- PINS="sidekick:."
|
||||
- DISTRO="ubuntu-16.04"
|
||||
matrix:
|
||||
- PACKAGE="sidekick" OCAML_VERSION="4.02.3"
|
||||
#- PACKAGE="sidekick" OCAML_VERSION="4.02.3"
|
||||
- PACKAGE="sidekick" OCAML_VERSION="4.03.0"
|
||||
- PACKAGE="sidekick" OCAML_VERSION="4.04.2"
|
||||
- PACKAGE="sidekick" OCAML_VERSION="4.05.0"
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue