mirror of
https://github.com/c-cube/iter.git
synced 2025-12-06 11:15:32 -05:00
update travis
This commit is contained in:
parent
c6d3c3b9d8
commit
86ae1b0cb0
1 changed files with 1 additions and 3 deletions
|
|
@ -26,10 +26,8 @@ before_install:
|
||||||
install:
|
install:
|
||||||
# Install dependencies
|
# Install dependencies
|
||||||
- opam pin add --no-action sequence .
|
- opam pin add --no-action sequence .
|
||||||
- opam install oasis
|
- opam install jbuilder base-bytes result
|
||||||
- opam install --deps-only sequence
|
|
||||||
script:
|
script:
|
||||||
- make build
|
- make build
|
||||||
- opam install qcheck qtest
|
- opam install qcheck qtest
|
||||||
- ./configure --enable-tests
|
|
||||||
- make test
|
- make test
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue