6 Commits

Author	SHA1	Message	Date
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