summaryrefslogtreecommitdiff
path: root/tools/ci/inria/extra-checks
Commit message (Expand)AuthorAgeFilesLines
* Split Inria CI's extra-checks job, take #1Sébastien Hinderer2020-08-111-233/+0
* Introduce the check-typo Jenkins pipelineSébastien Hinderer2020-08-101-6/+0
* Simplify the tools/ci/inria/extra-checks scriptSébastien Hinderer2020-08-061-34/+16
* tools/ci/inria/extra-checks: stop mentionning the world targetSébastien Hinderer2020-08-031-1/+1
* tools/ci/inria/extra-checks: fix another typoSébastien Hinderer2020-08-031-1/+1
* tools/ci/inria/extra-checks: stop mentionninig world.opt explicitlySébastien Hinderer2020-08-031-2/+2
* tools/ci/inria/extra-checks: print each command before its executionSébastien Hinderer2020-08-031-0/+4
* tools/ci/inria/extra-checks: fix typosSébastien Hinderer2020-08-031-1/+1
* Fix inria/extra-checks CI jobSébastien Hinderer2020-06-221-2/+3
* Turn on dependency checking on Inria CIDavid Allsopp2020-05-031-2/+2
* Cease committing C dependendency informationDavid Allsopp2020-04-171-3/+3
* Fixing typos (#9162)Fourchaux2019-12-041-1/+1
* extra-checks: update to clang 9Xavier Leroy2019-10-201-9/+9
* Fix address sanitizer check on INRIA CI (#9053)Jacques-Henri Jourdan2019-10-191-4/+9
* tools/ci/inria/extra-checks: use git clean rather than make distcleanSébastien Hinderer2019-08-061-8/+4
* Move the quicker tests to the top of the scriptDavid Allsopp2019-07-311-27/+27
* Test make world on Inria CIDavid Allsopp2019-07-301-0/+19
* Fix Thread sanitizer after GPR#8691.Jacques-Henri Jourdan2019-06-181-2/+1
* Use "git clean" to start CI from a clean stateXavier Leroy2019-03-021-0/+4
* Fixing typos in various files (#2246)Fourchaux2019-02-131-1/+1
* Use autoconf to generate the compiler's configuration scriptSébastien Hinderer2018-12-211-16/+6
* Update Inria CI scripts to recognise cygwin64David Allsopp2018-11-281-1/+2
* Move config/Makefile to Makefile.configSébastien Hinderer2018-09-171-3/+5
* Run check-typo in Inria extra-checksDavid Allsopp2018-06-301-0/+8
* Rename C compiler related build variablesSébastien Hinderer2018-06-201-5/+5
* Whitespace and overlong line fixes.David Allsopp2018-06-141-8/+7
* Break long lines in Inria CI scriptsDavid Allsopp2018-06-131-1/+2
* Inria CI extra-checks: remove left-over from commit 12aa0caf5a4a4f595Sébastien Hinderer2018-06-081-3/+0
* Inria CI: extra-checks job improvementSébastien Hinderer2018-05-291-4/+1
* Inria CI: skip a few tests in the extra-checks jobSébastien Hinderer2018-05-281-0/+5
* Make CI script inria/extra-checks executableXavier Leroy2018-05-271-0/+0
* CI testing with "sanitizers" applied to the C codeXavier Leroy2018-05-271-0/+229
View Lorry Controller Status