summaryrefslogtreecommitdiff
path: root/.travis.yml
Commit message (Collapse)AuthorAgeFilesLines
* Ensure testsuite works with OCAMLRUNPARAM=bDavid Allsopp2017-06-161-1/+1
| | | | | Ensure that tests which analyse exception messages explicitly disable backtrace printing.
* makes the CI test for a Changes entry non-optionalGabriel Scherer2016-11-121-1/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | Travis CI (Continuous Integration) tests provide feedback to people contributing patches and pull requests. There has long been a test checking that the Changes file is modified by the PR (along with a test checking that the testsuite is modified), but it was marked optional (`allow_failures`) and not reported in a clear way at all. (In theory all user-visible or contributor-visible changes should get a Changes entry. There are some cases of minor changes, or changes that affect features not present in a released version, where not having a dedicated changelog entry is ok.) There are two cases where forgetting to include something in the Changes has been problematic: - inline records were originally not part of the 4.03 Changelog (we caught the error as I gave a talk on new 4.03 features and Alain gently asked why I left inline records out of the discussion) - recently GPR #674 was forgotten from the Changelog If we make the Change mandatory in the CI, it is because without it there is no clear notification than it fails. It does not mean that having a Changelog entry is now mandatory, and it's just fine to keep deciding on a case-by-case basis not to have an entry. It's just that we would make that choice voluntarily, instead of out of distraction.
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
| | | | Remains to be done: remove all headers in testsuite/tests.
* Travis also test flambdaPierre Chambart2016-01-281-0/+1
|
* Add FlexDLL as git submoduleDavid Allsopp2016-01-151-0/+2
| | | | Messages for obtaining flexdll sources updated in Makefile.nt
* CI: use container-based infrastructure and add CHANGE and TEST optional checksThomas Gazagnaire2015-11-271-2/+9
| | | | The optional checks have been written by @gasche
* whitespace cleanup, cut long lines, add some missing headersDamien Doligez2015-09-111-0/+12
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16415 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* add travis CI files (github.com/avsm/ocaml 22e0620)Mark Shinwell2014-05-011-0/+4
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14718 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02