- 762548b build: drop official support for Ubuntu 18.04 and macOS 10.15 by Davide Pesavento · 1 year, 10 months ago
- b5e95f9 ci: skip headers check in code-coverage jobs by Davide Pesavento · 2 years, 1 month ago
- 83faec7 ci: add Xcode 14.1 by Davide Pesavento · 2 years, 1 month ago
- 73e946e ci: auto-detect the OS instead of relying on NODE_LABELS by Davide Pesavento · 2 years, 5 months ago
- f662500 build+ci: support macOS on arm64 by Davide Pesavento · 2 years, 5 months ago
- 83f8d16 ci: add macOS 11 Big Sur by Davide Pesavento · 3 years, 3 months ago
- 09d5662 ci: use gcovr 5.0 to generate code coverage reports by Davide Pesavento · 3 years, 4 months ago
- 30ed628 ci: add GitHub Actions by Davide Pesavento · 3 years, 5 months ago
- ab7300b ci+docs: minor cleanups by Davide Pesavento · 4 years, 9 months ago
- 2349e28 build: add CentOS 8 support; drop CentOS 7 by Davide Pesavento · 4 years, 9 months ago
- d776a93 build: switch to python3 by Davide Pesavento · 4 years, 9 months ago
- e6e125e ci: output Travis folding markers for each build stage by Davide Pesavento · 5 years ago
- e749003 ci: Avoid unnecessarily complicated use of find by Alexander Afanasyev · 10 years ago
- 33ce4c3 ci: Make sure .jenkins script stops when individual scripts returned error by Alexander Afanasyev · 10 years ago
- a87e0a8 ci: Embedding CI build and test running script by Alexander Afanasyev · 10 years ago