3 Commits

Author	SHA1	Message	Date
david gauchard	8e0aac92c0	CI: trusty (u14.04) -> bionic (u18.04) (#6627) ... * no-op test * no-op test * bionic * missing python package for doc building with bionic * fix previous commit * remove external repo for gcc7 (causing issues), it is default under bionic fix python3-setuptools install * tryfix git submodule recursive (git 2.21/2.22 ?)	2019-10-10 12:30:59 -03:00
david gauchard	e7e7a4da17	prepare allman style (#5774)	2019-02-18 01:10:44 +01:00
Ivan Grokhotkov	79553e539a	ci: fix checking CI_GITHUB_API_KEY, refactoring (#5496) ... * ci: fix checking for presence of CI_GITHUB_API_KEY CI_GITHUB_API_KEY is always set when evaluating job include/exclude conditions, and it only gets removed when the job starts. Move the check into the script. * ci: split build jobs into separate shell scripts	2018-12-15 02:58:30 +01:00