summaryrefslogtreecommitdiff
path: root/tools/ci/inria
Commit message (Expand)AuthorAgeFilesLines
* Make the 'light' test available for CygwinXavier Leroy2023-02-201-1/+7
* Re-enable SHOW_TIMINGS=1 on JenkinsDavid Allsopp2022-12-141-2/+3
* Revert "Show timings on precheck"David Allsopp2022-12-121-3/+2
* Skip the memory model tests on Jenkins for CygwinDavid Allsopp2022-12-061-0/+5
* Show timings on precheckDavid Allsopp2022-12-061-2/+3
* Inria ci: detect native compiler directly.Florian Angeletti2022-10-181-1/+1
* Bootstrap flexdll in JenkinsDavid Allsopp2022-10-101-0/+2
* Remove PATH overrides for mingw-w64David Allsopp2022-10-101-4/+0
* Add ability to bootstrap flexdll on Jenkins CI (#11567)David Allsopp2022-09-271-0/+7
* Typo in "other-configs" Jenkins CI jobXavier Leroy2022-07-281-1/+1
* Jenkins CI other-configs: also test the "with frame pointers" configurationXavier Leroy2022-07-151-1/+1
* Fix Jenkins bootstrap testDavid Allsopp2022-07-131-3/+3
* Revert "Temporary: collect timings for tests during the Jenkins CI"Xavier Leroy2022-07-111-3/+2
* Don't renice on BSD systemsXavier Leroy2022-07-061-1/+1
* Temporary: collect timings for tests during the Jenkins CIXavier Leroy2022-07-061-2/+3
* Remove thread sanitizer from the "sanitizers" CI jobXavier Leroy2022-06-061-21/+24
* Fix handling of -with-bootstrapXavier Leroy2022-06-061-3/+1
* Bootstrapping is now incompatible with disable-flat-float-arrayXavier Leroy2022-06-061-2/+2
* Update the Jenkins CI "main" script to handle bytecode-only configs betterXavier Leroy2022-02-211-0/+7
* The MSVC and Cygwin ports are not supported currentlyXavier Leroy2022-02-211-0/+2
* Increase timeout on "sanitizers" Jenkins jobXavier Leroy2022-01-281-1/+1
* In bootstrap CI test: pervasives.mli is no moreXavier Leroy2022-01-271-13/+0
* Update sanitizers for OCaml 5.00 and Clang 13Xavier Leroy2022-01-271-21/+20
* Configure option --disable-bigarray-lib no longer existsXavier Leroy2022-01-241-1/+0
* other-configs test script: be more verboseXavier Leroy2022-01-191-2/+2
* Enable flambda only if actually requestedXavier Leroy2022-01-191-1/+1
* configure: update the --disable-systhreads optionXavier Leroy2022-01-181-0/+1
* Set PATH for mingw-w64 buildDavid Allsopp2022-01-111-0/+2
* Do not `disable-systhreads` for the minimal buildXavier Leroy2022-01-101-1/+0
* Remove mention of naked pointers from Inria CI scriptsSébastien Hinderer2022-01-102-4/+2
* Free the alternate signal stack when thread / process stopsXavier Leroy2021-12-061-2/+0
* Restore the -native option in Inria CI'sother-configs jobSébastien Hinderer2021-10-081-1/+2
* Also test --with-pic in Inria's other-configs CI jobSébastien Hinderer2021-10-041-0/+1
* Fix script for Inria's other-configs CI jobSébastien Hinderer2021-10-041-3/+1
* Use correct canonical name for Cygwin64David Allsopp2021-04-282-4/+4
* Merge pull request #10448 from damiendoligez/fix-bootstrap-ci-scriptDavid Allsopp2021-07-271-2/+4
|\
| * use the Opam way of making "sed -i" portableDamien Doligez2021-07-201-9/+4
| * make CI bootstrap script compatible with MacosDamien Doligez2021-06-021-2/+9
* | Merge pull request #10400 from dra27/debian-i686Stephen Dolan2021-07-141-0/+14
|\ \ | |/ |/|
| * A little precheck environment infoDavid Allsopp2021-05-061-0/+14
* | inria ci: update remove-sinh-primitive.patchoctachron2021-06-021-15/+15
* | Inria CI "main" script: do not lower priority on macOSXavier Leroy2021-05-261-1/+1
|/
* Set up execution environment before launching a CI scriptXavier Leroy2021-04-281-0/+31
* Suppress sanitizer message for known memory leakXavier Leroy2021-03-091-0/+2
* Inria CI: add solaris to the list of supported platformsSébastien Hinderer2021-01-273-5/+5
* Restore full Cygwin64 on Jenkins (#9931)David Allsopp2020-12-041-10/+0
* Inria CI: the step-by-step job should cleanup the repo before startingSébastien Hinderer2020-11-301-0/+4
* Bow to check-typoXavier Leroy2020-11-271-3/+4
* Exclude some tests that run into ThreadSanitizer limitationsXavier Leroy2020-11-271-0/+9
* Inria CI fixSébastien Hinderer2020-11-251-0/+3
View Lorry Controller Status