summaryrefslogtreecommitdiff
path: root/tools/ci/inria/other-configs
Commit message (Expand)AuthorAgeFilesLines
* Remove mention of naked pointers from Inria CI scriptsSébastien Hinderer2022-01-101-2/+1
* 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
* Inria CI: give the other-configs job a more realistic timeoutSébastien Hinderer2020-11-241-1/+1
* Inria CI: second tentative fix for the other-configs pipelineSébastien Hinderer2020-11-241-1/+0
* Typo fixSébastien Hinderer2020-11-241-1/+1
* Inria CI: tentative fix for the other-configs jobSébastien Hinderer2020-11-241-1/+3
* Switch the compiler CI builds from Travis to GitHub actions (#10036)David Allsopp2020-11-241-1/+17
* Add a test for --enable-reserved-header-bitsXavier Leroy2020-10-091-0/+1
* Inria CI: use a timeout, take #2Sébastien Hinderer2020-09-171-3/+2
* Inria CI: add timeouts to pipeline jobsSébastien Hinderer2020-09-161-0/+3
* Notify only on regressions for Inria CI's other-configs jobSébastien Hinderer2020-08-141-1/+1
* Define Inria CI's other-configs job as a Jenkins pipeline, take #2Sébastien Hinderer2020-08-141-1/+1
* Define Inria CI's other-configs job as a Jenkins pipeline, take #1Sébastien Hinderer2020-08-142-0/+43
* Force a bootstrap for the --disable-flat-float-array testXavier Leroy2020-05-211-1/+1
* Use autoconf to generate the compiler's configuration scriptSébastien Hinderer2018-12-211-4/+4
* Move the CI-related scripts to dedicated directoriesSébastien Hinderer2018-05-241-0/+29
View Lorry Controller Status