message: Minor fix coverage report generation, now at
diff: @@ -38,11 +38,10 @@ coverage:
  rm -r build/coverage
  mkdir -p build/coverage
  (cd build/coverage && cmake -E env CXXFLAGS="--coverage" cmake -DCMAKE_BUILD_TYPE=Debug ../.. && make -j)
  - build/coverage/test/unittest "*"
  + build/coverage/test/unittest
  lcov -c -d build/coverage -o build/coverage/cov.info
  lcov --remove build/coverage/cov.info "/usr/include/*" "*/test/*" "*/third_party/*" -o build/coverage/cov-filtered.info
  - GITID=`git show -s --format=%h`
  - genhtml build/coverage/cov-filtered.info -o build/coverage/html --ignore-errors source -t "DuckDB Code Coverage Report $GITID"
  + genhtml build/coverage/cov-filtered.info -o build/coverage/html --ignore-errors source -t "DuckDB Code Coverage Report `git show -s --format=%h`"
  format:
  python format.py
  