diff -r 82836485546c -r d2a70e493aa8 .gitlab-ci.yml
--- a/.gitlab-ci.yml	Mon Jun 29 18:21:30 2020 +0200
+++ b/.gitlab-ci.yml	Mon Jun 29 22:32:45 2020 +0200
@@ -29,7 +29,7 @@
         - pip install anybadge
         - mkdir ./coverage
         - ./bin/test --coverage coverage | tee ./coverage/coverage.log
-        - GLOBAL_COVER=$(/bin/grep -e '^[[:space:]]*[[:digit:]]\+[[:space:]]\+[[:digit:]]\+\%' ./coverage/coverage.log |
+        - GLOBAL_COVER=$(grep -e '^[[:space:]]*[[:digit:]]\+[[:space:]]\+[[:digit:]]\+\%' ./coverage/coverage.log |
               awk 'BEGIN { lines=0; cov=0 }
                    { lines = lines + $1; cov = cov + $1 * $2 / 100 }
                    END { printf "%.2f", cov / lines * 100 }')