reynir/albatross
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

travis: use ubuntu-lts

Browse source
This commit is contained in:
Hannes Mehnert 2020-11-14 21:35:14 +01:00
parent 7030b1a3fa
commit 1986ca2a1d
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.travis.yml
View file

@ -7,7 +7,7 @@ services:
env:
global:
- PACKAGE="albatross"
- DISTRO=ubuntu
- DISTRO=ubuntu-lts
- TESTS=false
matrix:
- OCAML_VERSION=4.08