summaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
AgeCommit message (Collapse)AuthorFilesLines
2021-02-28build: Add code coverage support in the GitLab CIGuillem Jover1-5/+14
2021-02-28build: Use apt-get instead of apt in the GitLab CIGuillem Jover1-2/+3
The former is to be used programmatically, while the latter is intended for interactive use.
2021-02-07build: Install libmd-dev in the gitlab CIGuillem Jover1-1/+1
2021-02-07build: Switch gitlab CI to use a Debian busterGuillem Jover1-1/+1
2018-05-31build: Simplify gitlab CI configurationGuillem Jover1-19/+6
Merge all stages so that we do not need to pass artifacts around. Quiesce «apt install».
2018-05-31build: Install git in gitlab CI configurationGuillem Jover1-1/+1
2018-05-31build: Fix gitlab CI configurationGuillem Jover1-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-31build: Add a gitlab CI configuration fileGuillem Jover1-0/+22