ci/coverage: increase min. coverage (#958)

.github/workflows/coverage.yml

@@ -48,7 +48,7 @@ jobs:
 
     - name: coverage check
       run: |
-        min_cov="64.0"
+        min_cov="65.0"
         cov=$(~/.local/bin/gcovr -r . -s | grep lines | awk '{ print $2 }' | sed 's/%//')
         echo "Coverage: ${cov}% (min $min_cov%)"
         exit $(echo "$cov < $min_cov" | bc -l)