Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2021-02-28 | build: Add code coverage support in the GitLab CI | Guillem Jover | 1 | -5/+14 | |
2021-02-28 | build: Use apt-get instead of apt in the GitLab CI | Guillem Jover | 1 | -2/+3 | |
The former is to be used programmatically, while the latter is intended for interactive use. | |||||
2021-02-07 | build: Install libmd-dev in the gitlab CI | Guillem Jover | 1 | -1/+1 | |
2021-02-07 | build: Switch gitlab CI to use a Debian buster | Guillem Jover | 1 | -1/+1 | |
2018-05-31 | build: Simplify gitlab CI configuration | Guillem Jover | 1 | -19/+6 | |
Merge all stages so that we do not need to pass artifacts around. Quiesce «apt install». | |||||
2018-05-31 | build: Install git in gitlab CI configuration | Guillem Jover | 1 | -1/+1 | |
2018-05-31 | build: Fix gitlab CI configuration | Guillem Jover | 1 | -2/+2 | |
Run «apt install» in non-interactive mode, and do not install Recommends. Replace build-essential, which is rather fat, with gcc and make. Execute autogen instead of autoreconf directly. | |||||
2018-05-31 | build: Add a gitlab CI configuration file | Guillem Jover | 1 | -0/+22 | |