summaryrefslogtreecommitdiff
path: root/distro-configs/Jenkins/linux_random.conf
AgeCommit message (Expand)Author
2023-09-01distro-configs: Switch from JDK 11 to 17Michael Weghorn
2021-05-18make --disable-odk the defaultNoel Grandin
2020-05-26jenkins linux configs: use jdk 11 for masterChristian Lohmaier
2019-10-15gandalf now has gcc9 / no devtoolsetChristian Lohmaier
2018-12-08enable modern gcc on random config tb jobMarkus Mohrhard
2018-11-25Revert "Enabling Developer Toolset 7 for Jenkins' lo_tb_random_config_linux"Stephan Bergmann
2018-11-25Enabling Developer Toolset 7 for Jenkins' lo_tb_random_config_linuxStephan Bergmann
2016-12-07add a linux_random jenkins's distro config to be able to have a tb on thatNorbert Thiebaud