aboutsummaryrefslogtreecommitdiffhomepage
path: root/.travis.yml
Commit message (Expand)AuthorAge
* Remove cross-crypto from Travis. It is still tested in GitLab CI.Gravatar Théo Zimmermann2018-06-07
* Allow make clean to work on a fresh cloneGravatar Jason Gross2018-05-25
* [ci] Add Dune to the base system.Gravatar Emilio Jesus Gallego Arias2018-05-21
* Merge PR #6808: Add unit tests to test-suiteGravatar Gaëtan Gilbert2018-05-17
|\
* \ Merge PR #7514: [ci] Don't build lite versions of CI developments.Gravatar Gaëtan Gilbert2018-05-16
|\ \
| | * add unit tests to test suiteGravatar Paul Steckler2018-05-16
| |/ |/|
| * [ci] Don't build lite versions of CI developments.Gravatar Emilio Jesus Gallego Arias2018-05-16
* | [travis] Remove some more jobs from PR testing now that they are on Gitlab.Gravatar Emilio Jesus Gallego Arias2018-05-16
|/
* Remove tutorials.Gravatar Théo Zimmermann2018-05-10
* Merge PR #7473: [ci] Add mit-plv/cross-cryptoGravatar Emilio Jesus Gallego Arias2018-05-10
|\
| * [ci] Add mit-plv/cross-cryptoGravatar Jason Gross2018-05-09
* | [travis] Add explicit opam switch command to guarantee we're using the reques...Gravatar Théo Zimmermann2018-05-09
* | [travis] Fix version of camlp5 for OCaml 4.06.1.Gravatar Théo Zimmermann2018-05-09
|/
* [gitlab] [circleci] Use a Custom Docker Image as base CI setup.Gravatar Emilio Jesus Gallego Arias2018-05-05
* Merge PR #7402: [ci]: add pidetop (fix #7336)Gravatar Emilio Jesus Gallego Arias2018-05-03
|\
| * [ci]: add pidetop (fix #7336)Gravatar Enrico Tassi2018-05-02
* | [ci] [travis] Install num by default in all switches.Gravatar Emilio Jesus Gallego Arias2018-04-30
|/
* [doc] Remove unused dependencies.Gravatar Emilio Jesus Gallego Arias2018-04-28
* [CI] elpi 1.0 has an official opam packageGravatar Enrico Tassi2018-04-27
* updating CI for Mtac2Gravatar Beta Ziliani2018-04-25
* CI: add fcsl-pcmGravatar Anton Trunov2018-04-20
* Travis: cleanup environment variables a bit.Gravatar Gaëtan Gilbert2018-04-16
* [ci] Tentative fix for #7206: MacOS test-suite job failing.Gravatar Théo Zimmermann2018-04-09
* Emergency fix for OSX packaging job on Travis.Gravatar Maxime Dénès2018-03-16
* Integration of a sphinx-based documentation generator.Gravatar Maxime Dénès2018-03-09
* Merge PR #6817: [configure]: support for profilesGravatar Maxime Dénès2018-03-08
|\
* | Fix failing packaging job.Gravatar Théo Zimmermann2018-03-05
| * configure: -warn-error: now takes a bool so that you can also turn it offGravatar Enrico Tassi2018-03-05
|/
* travis: elpi needs findlib >= 1.5Gravatar Enrico Tassi2018-02-28
* tavis: make the . in pkg.version part of $VERSIONGravatar Enrico Tassi2018-02-28
* ci: add elpiGravatar Enrico Tassi2018-02-19
* Merge PR #6636: Stop running duplicate Travis jobs on pull requests.Gravatar Maxime Dénès2018-01-30
|\
* | Add a comment referencing travis issue numbersGravatar Jason Gross2018-01-25
* | Delay installing packagesGravatar Jason Gross2018-01-23
* | Use travis_retry on apt-get updateGravatar Jason Gross2018-01-23
| * Stop running duplicate Travis jobs on pull requests.Gravatar Théo Zimmermann2018-01-23
|/
* Update the lower-bound of the lablgtk dependency.Gravatar Théo Zimmermann2018-01-04
* Fix CI with parallel make (messed up dependencies)Gravatar Gaëtan Gilbert2017-12-21
* Compatibility of the Coq macOS package with OS X 10.11.Gravatar Théo Zimmermann2017-12-15
* CI: use -byte-only in [warnings] jobs.Gravatar Gaëtan Gilbert2017-11-28
* Travis: do not build stdlib in [warnings] jobs.Gravatar Gaëtan Gilbert2017-11-28
* Add Equations to CIGravatar Matthieu Sozeau2017-11-20
* [ci] [coq] Complete 4.06.0 support.Gravatar Emilio Jesus Gallego Arias2017-11-13
* Merge PR #6071: [ci] Add Ltac2Gravatar Maxime Dénès2017-11-13
|\
* \ Merge PR #1139: Add a linter.Gravatar Maxime Dénès2017-11-06
|\ \
| | * [ci] Add Ltac2Gravatar Jason Gross2017-11-04
| |/ |/|
* | [ocaml] [travis] Add preliminary 4.06 CI testing.Gravatar Emilio Jesus Gallego Arias2017-10-27
| * Put linter at the top of the tests.Gravatar Théo Zimmermann2017-10-25
| * Linter: check that files end with newlines.Gravatar Gaëtan Gilbert2017-10-25
| * Add linter.Gravatar Gaëtan Gilbert2017-10-25