diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index ebe5a74b66505bf82bc3f08365aee6227cd18ca3..7e1e68287601c4b9783d0d02a641c4c8d6276d2c 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,5 +1,8 @@ -# Image from https://hub.docker.com/_/gcc/ based on Debian -image: gcc:9 +default: + tags: + - docker + # Image from https://hub.docker.com/_/gcc/ based on Debian + image: gcc:9 autotools: stage: build @@ -12,8 +15,6 @@ autotools: - ./configure - make - make distcheck - tags: - - docker makefile: stage: build @@ -23,8 +24,6 @@ makefile: script: - make -C unix - make -C unix check - tags: - - docker doc: stage: build @@ -33,5 +32,3 @@ doc: apt-get install -y doxygen graphviz script: - make -C doc - tags: - - docker