|
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
|