Remove unused coverage report script.

.github/workflows/coverage.yml

@@ -1,51 +0,0 @@
-name: Coverage
-
-on:
-  push:
-    branches:
-      - develop
-
-jobs:
-  posix:
-    defaults:
-      run:
-        shell: bash
-
-    runs-on: ubuntu-22.04
-    env:
-      CXX: g++-11
-      CXXFLAGS: -g -O0 -std=c++20 --coverage -fkeep-inline-functions -fkeep-static-functions
-      LDFLAGS: --coverage
-      CMAKE_BUILD_PARALLEL_LEVEL: 4
-    steps:
-    - name: Checkout
-      uses: actions/checkout@v3
-
-    - name: Install dependencies
-      run: sudo apt-get --no-install-recommends -y install cmake lcov g++-11 redis-server python3 libgd-perl
-    
-    - name: Setup Boost
-      run: ./tools/ci.py setup-boost --source-dir=$(pwd)
-    
-    - name: Build Boost
-      run: ./tools/ci.py build-b2-distro --toolset=gcc-11
-    
-    # Having our library there confuses the coverage reports
-    - name: Remove Boost.Redis from the b2 distro
-      run: rm -rf ~/boost-b2-distro/include/boost/redis
-
-    - name: Run CMake
-      run: cmake -DCMAKE_PREFIX_PATH=$HOME/boost-b2-distro --preset coverage .
-
-    - name: Build
-      run: cmake --build --preset coverage
-
-    - name: Test
-      run: ctest --preset coverage
-
-    - name: Make the coverage file
-      run: cmake --build --preset coverage --target coverage
-
-    - name: Upload to codecov
-      run: |
-        bash <(curl -s https://codecov.io/bash) -f ./build/coverage/coverage.info