summaryrefslogtreecommitdiff
path: root/tools/ci
Commit message (Expand)AuthorAgeFilesLines
* Report all post-build failuresDavid Allsopp2023-02-211-3/+9
* Detect unused Makefile variables in workflowDavid Allsopp2023-02-201-1/+12
* Make the 'light' test available for CygwinXavier Leroy2023-02-201-1/+7
* Check that no ignored files have been committedDavid Allsopp2022-12-221-0/+19
* 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
* AppVeyor script fixes for CygwinDavid Allsopp2022-12-061-4/+10
* Merge pull request #11405 from dra27/ghaXavier Leroy2022-11-141-4/+12
|\
| * Tweak the Check Changes jobDavid Allsopp2022-08-291-4/+12
* | 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-102-13/+0
* | Run the main testsuite seriallyDavid Allsopp2022-09-271-1/+1
* | Limit the testing in AppVeyorDavid Allsopp2022-09-271-0/+9
* | Turn the testsuite back on in AppVeyorDavid Allsopp2022-09-271-3/+2
* | Add ability to bootstrap flexdll on Jenkins CI (#11567)David Allsopp2022-09-271-0/+7
|/
* Merge branch 'ocaml:trunk' into gha_manual_fixupEnguerrand2022-08-021-6/+2
|\
| * Test 32-bit build in GitHub Actions (#11143)David Allsopp2022-08-011-6/+2
* | actions: move manual change check to the build workflow to improve chances of...Enguerrand Decorne2022-08-021-1/+1
|/
* Typo in "other-configs" Jenkins CI jobXavier Leroy2022-07-281-1/+1
* Log the result of "Check for manual changes"David Allsopp2022-07-221-0/+1
* testsuite: remove taskset-c0Enguerrand Decorne2022-07-221-8/+1
* actions: reuse build artifacts for the debug runtime run as wellEnguerrand Decorne2022-07-221-12/+14
* 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
* Check Autoconf version in CI (#11311)Christiano Haesbaert2022-06-141-0/+9
* Prefix all C symbols in Unix library unix_David Allsopp2022-06-132-2/+3
* Run check-symbol-names on both mingw portsDavid Allsopp2022-06-131-1/+1
* 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
* Merge pull request #10989 from dra27/cache-parallelGabriel Scherer2022-03-031-8/+10
|\
| * Download GNU parallel directly from gitDavid Allsopp2022-02-031-8/+10
* | Normalize the minor version number of the compiler (#11049)Sébastien Hinderer2022-02-241-1/+1
* | 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
|/
* Use GNU parallel for the CI testsuite runs (#10760)David Allsopp2022-02-031-1/+1
* 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
View Lorry Controller Status