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

Merge branch 'master' of github.com:Gbury/mSAT

Browse source
This commit is contained in:
Guillaume Bury 2018-01-30 17:05:19 +01:00
commit 7cd541b243
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

@ -1,6 +1,6 @@
language: c language: c
env: env:
# Check that funarith installs correctly with and without its test dependencies using opam # Check that the package installs correctly with and without its test dependencies using opam
- TO_TEST=install OPAMBUILDTEST=false OCAML_VERSION=4.03.0 - TO_TEST=install OPAMBUILDTEST=false OCAML_VERSION=4.03.0
- TO_TEST=install OPAMBUILDTEST=true OCAML_VERSION=4.03.0 - TO_TEST=install OPAMBUILDTEST=true OCAML_VERSION=4.03.0
# Check build and unit tests # Check build and unit tests