aboutsummaryrefslogtreecommitdiff
path: root/.travis.yml
AgeCommit message (Expand)Author
2018-07-12[ci] Remove warning jobs in favor of default `-warn-error yes`Emilio Jesus Gallego Arias
2018-07-11[ci] Upgrade edge OCaml to 4.07.0 and Dune to 1.0.0Emilio Jesus Gallego Arias
2018-07-10Merge PR #8036: [travis] Remove even more jobs.Emilio Jesus Gallego Arias
2018-07-10[travis] Remove even more jobs.Théo Zimmermann
2018-07-10[travis] Try to workaround the repeated APT failures by using Jason Gross's s...Théo Zimmermann
2018-07-05Remove some Travis jobs to make the build faster.Théo Zimmermann
2018-06-16Remove Elpi from Travis.Théo Zimmermann
2018-06-07Remove cross-crypto from Travis. It is still tested in GitLab CI.Théo Zimmermann
2018-05-25Allow make clean to work on a fresh cloneJason Gross
2018-05-21[ci] Add Dune to the base system.Emilio Jesus Gallego Arias
2018-05-17Merge PR #6808: Add unit tests to test-suiteGaëtan Gilbert
2018-05-16Merge PR #7514: [ci] Don't build lite versions of CI developments.Gaëtan Gilbert
2018-05-16add unit tests to test suitePaul Steckler
2018-05-16[ci] Don't build lite versions of CI developments.Emilio Jesus Gallego Arias
2018-05-16[travis] Remove some more jobs from PR testing now that they are on Gitlab.Emilio Jesus Gallego Arias
2018-05-10Remove tutorials.Théo Zimmermann
2018-05-10Merge PR #7473: [ci] Add mit-plv/cross-cryptoEmilio Jesus Gallego Arias
2018-05-09[ci] Add mit-plv/cross-cryptoJason Gross
2018-05-09[travis] Add explicit opam switch command to guarantee we're using the reques...Théo Zimmermann
2018-05-09[travis] Fix version of camlp5 for OCaml 4.06.1.Théo Zimmermann
2018-05-05[gitlab] [circleci] Use a Custom Docker Image as base CI setup.Emilio Jesus Gallego Arias
2018-05-03Merge PR #7402: [ci]: add pidetop (fix #7336)Emilio Jesus Gallego Arias
2018-05-02[ci]: add pidetop (fix #7336)Enrico Tassi
2018-04-30[ci] [travis] Install num by default in all switches.Emilio Jesus Gallego Arias
2018-04-28[doc] Remove unused dependencies.Emilio Jesus Gallego Arias
2018-04-27[CI] elpi 1.0 has an official opam packageEnrico Tassi
2018-04-25updating CI for Mtac2Beta Ziliani
2018-04-20CI: add fcsl-pcmAnton Trunov
2018-04-16Travis: cleanup environment variables a bit.Gaëtan Gilbert
2018-04-09[ci] Tentative fix for #7206: MacOS test-suite job failing.Théo Zimmermann
2018-03-16Emergency fix for OSX packaging job on Travis.Maxime Dénès
2018-03-09Integration of a sphinx-based documentation generator.Maxime Dénès
2018-03-08Merge PR #6817: [configure]: support for profilesMaxime Dénès
2018-03-05Fix failing packaging job.Théo Zimmermann
2018-03-05configure: -warn-error: now takes a bool so that you can also turn it offEnrico Tassi
2018-02-28travis: elpi needs findlib >= 1.5Enrico Tassi
2018-02-28tavis: make the . in pkg.version part of $VERSIONEnrico Tassi
2018-02-19ci: add elpiEnrico Tassi
2018-01-30Merge PR #6636: Stop running duplicate Travis jobs on pull requests.Maxime Dénès
2018-01-25Add a comment referencing travis issue numbersJason Gross
2018-01-23Delay installing packagesJason Gross
2018-01-23Use travis_retry on apt-get updateJason Gross
2018-01-23Stop running duplicate Travis jobs on pull requests.Théo Zimmermann
2018-01-04Update the lower-bound of the lablgtk dependency.Théo Zimmermann
2017-12-21Fix CI with parallel make (messed up dependencies)Gaëtan Gilbert
2017-12-15Compatibility of the Coq macOS package with OS X 10.11.Théo Zimmermann
2017-11-28CI: use -byte-only in [warnings] jobs.Gaëtan Gilbert
2017-11-28Travis: do not build stdlib in [warnings] jobs.Gaëtan Gilbert
2017-11-20Add Equations to CIMatthieu Sozeau
2017-11-13[ci] [coq] Complete 4.06.0 support.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 08:57:28 +0000