Redirected output of protocol checker to file

2018-12-18 11:14:05 +01:00
parent f34a257ce7
commit d293fe9763
3 changed files with 5 additions and 6 deletions
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -12,7 +12,6 @@ stages:
 cache:
    paths:
        - build/
-        - coverage/

 build:
    stage: build