simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-08 12:15:48 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

chore: update travis

Browse source
This commit is contained in:
Simon Cruanes 2019-11-07 10:37:00 -06:00
parent 409fe49ff0
commit 801e3d25b4
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

@ -5,7 +5,7 @@ services:
- docker - docker
env: env:
global: global:
- PINS="sidekick:. sidekick-bin:. smtlib-utils:https://github.com/c-cube/smtlib-utils.git" - PINS="sidekick:. sidekick-bin:."
- DISTRO="ubuntu-16.04" - DISTRO="ubuntu-16.04"
matrix: matrix:
#- PACKAGE="sidekick" OCAML_VERSION="4.02.3" #- PACKAGE="sidekick" OCAML_VERSION="4.02.3"