Hi, Not a lot in this tree at the moment but I did grab a few patches that got inadvertently included in my pre-PR series for semihosting and gdbstub. It does include Phillipe's deprecation of most of the shippable builds. I've also moved one more test across from Travis while trying to beef up the documentation we generate. We really need a better "official" way to install the docs in an arbitrary directory though.
The following need review: - gitlab: move docs and tools build across from Travis - docker: expand debian-amd64 image to include tag tools - Makefile: wrap cscope in quiet-command calls - Makefile: wrap etags in quiet-command calls - Makefile: wrap ctags in quiet-command calls - Add newline when generating Dockerfile - shippable.yml: Remove jobs duplicated on Gitlab-CI - Makefile: add GNU global tags support Alessandro Di Federico (1): Add newline when generating Dockerfile Alex Bennée (6): Makefile: add GNU global tags support Makefile: wrap ctags in quiet-command calls Makefile: wrap etags in quiet-command calls Makefile: wrap cscope in quiet-command calls docker: expand debian-amd64 image to include tag tools gitlab: move docs and tools build across from Travis Philippe Mathieu-Daudé (2): tests/docker: Remove Debian 9 remnant lines shippable.yml: Remove jobs duplicated on Gitlab-CI Makefile | 46 ++++++++++++++++---- .gitignore | 3 ++ .gitlab-ci.yml | 22 +++++++--- .shippable.yml | 14 +----- .travis.yml | 16 ------- tests/docker/Makefile.include | 1 - tests/docker/docker.py | 4 +- tests/docker/dockerfiles/debian-amd64.docker | 5 ++- 8 files changed, 64 insertions(+), 47 deletions(-) -- 2.20.1
