tAlso make install in CI environments - ve - a minimal text editor (work in progress)
 (HTM) git clone git://src.adamsgaard.dk/ve
 (DIR) Log
 (DIR) Files
 (DIR) Refs
 (DIR) README
 (DIR) LICENSE
       ---
 (DIR) commit 59092f03497bf45762c483931b59b5c8927a9fae
 (DIR) parent d26d84ab2500b4953b64a224992b974edba9d9d3
 (HTM) Author: Anders Damsgaard <anders@adamsgaard.dk>
       Date:   Wed,  7 Aug 2019 22:29:57 +0200
       
       Also make install in CI environments
       
       Diffstat:
         M .gitlab-ci.yml                      |       6 +++---
       
       1 file changed, 3 insertions(+), 3 deletions(-)
       ---
 (DIR) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
       t@@ -7,7 +7,7 @@ build-alpine:
          before_script:
            - apk --no-cache add build-base
          script:
       -    - make
       +    - make && make install
        
        build-debian:
          stage: build
       t@@ -16,7 +16,7 @@ build-debian:
            - apt-get update
            - apt-get -y install gcc make
          script:
       -    - make
       +    - make && make install
        
        build-arch:
          stage: build
       t@@ -24,4 +24,4 @@ build-arch:
          before_script:
            - pacman -Syu --noconfirm gcc make
          script:
       -    - make
       +    - make && make install