Guillem Jover
15bd284b29
build: Add code coverage support in the GitLab CI
2021-02-28 05:28:49 +01:00
Guillem Jover
a9fc285988
build: Use apt-get instead of apt in the GitLab CI
...
The former is to be used programmatically, while the latter is intended
for interactive use.
2021-02-28 05:27:35 +01:00
Guillem Jover
4ab11c7f48
build: Install libmd-dev in the gitlab CI
2021-02-07 10:37:18 +01:00
Guillem Jover
766c883e30
build: Switch gitlab CI to use a Debian buster
2021-02-07 10:35:57 +01:00
Guillem Jover
8e834cd068
build: Simplify gitlab CI configuration
...
Merge all stages so that we do not need to pass artifacts around.
Quiesce «apt install».
2018-05-31 04:00:26 +02:00
Guillem Jover
e354f9b1d0
build: Install git in gitlab CI configuration
2018-05-31 03:46:14 +02:00
Guillem Jover
4c5e9b478e
build: Fix gitlab CI configuration
...
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 03:42:33 +02:00
Guillem Jover
005b509061
build: Add a gitlab CI configuration file
2018-05-31 03:23:16 +02:00
