aboutsummaryrefslogtreecommitdiff
path: root/.travis.yml
AgeCommit message (Expand)Author
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
2017-11-13Merge PR #6071: [ci] Add Ltac2Maxime Dénès
2017-11-06Merge PR #1139: Add a linter.Maxime Dénès
2017-11-04[ci] Add Ltac2Jason Gross
2017-10-27[ocaml] [travis] Add preliminary 4.06 CI testing.Emilio Jesus Gallego Arias
2017-10-25Put linter at the top of the tests.Théo Zimmermann
2017-10-25Linter: check that files end with newlines.Gaëtan Gilbert
2017-10-25Add linter.Gaëtan Gilbert
2017-10-25Merge PR #5995: Revert "Add debug output to brew update."Maxime Dénès
2017-10-25Merge PR #5971: [travis] Add flambda testing.Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 10:26:28 +0000