|
15bd284b
|
2021-02-28T05:16:01
|
|
build: Add code coverage support in the GitLab CI
|
|
|
a9fc2859
|
2021-02-28T05:14:54
|
|
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.
|
|
|
4ab11c7f
|
2021-02-07T10:37:18
|
|
build: Install libmd-dev in the gitlab CI
|
|
|
766c883e
|
2021-02-07T10:35:57
|
|
build: Switch gitlab CI to use a Debian buster
|
|
|
8e834cd0
|
2018-05-31T03:59:49
|
|
build: Simplify gitlab CI configuration
Merge all stages so that we do not need to pass artifacts around.
Quiesce «apt install».
|
|
|
e354f9b1
|
2018-05-31T03:46:14
|
|
build: Install git in gitlab CI configuration
|
|
|
4c5e9b47
|
2018-05-31T03:34:07
|
|
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.
|
|
|
005b5090
|
2018-05-31T01:45:28
|
|
build: Add a gitlab CI configuration file
|