how to run the Travis CI tests locally

master
Gabriel Scherer 2017-06-04 10:37:12 -04:00
parent 93c087ae28
commit 767474d447
1 changed files with 12 additions and 0 deletions

View File

@ -224,6 +224,18 @@ found in link:INSTALL.adoc#bootstrap[INSTALL.adoc].
==== Github's CI: Travis and AppVeyor
The script that is run on Travis continuous integration servers is
link:.travis-ci.sh[]; its configuration can be found as
a Travis configuration file in link:.travis.yml[].
For example, if you want to reproduce the default build on your
machine, you can use the configuration values and run command taken from
link:.travis.yml[]:
----
CI_KIND=build XARCH=i386 bash -ex .travis-ci.sh
----
==== INRIA's Continuous Integration (CI)
INRIA provides a Jenkins continuous integration service that OCaml