chore: update travis

This commit is contained in:
Simon Cruanes 2019-11-17 16:00:39 -06:00
parent 3c5189a663
commit 833a523cab

View file

@ -5,9 +5,9 @@ services:
- docker
env:
global:
- PINS="simplehttpserver"
- PINS="tiny_httpd:."
- DISTRO="ubuntu-16.04"
- PACKAGE="simplehttpserver"
- PACKAGE="tiny_httpd"
matrix:
- OCAML_VERSION="4.03"
- OCAML_VERSION="4.04"