diff --git a/.github/workflows/cover.yaml b/.github/workflows/cover.yaml deleted file mode 100644 index c66fa60f4..000000000 --- a/.github/workflows/cover.yaml +++ /dev/null @@ -1,20 +0,0 @@ -# add public code coverage reports -name: coverage - -on: - push: - branches: - - main - -jobs: - coverage: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7 - - - run: "make test-cover" - - - uses: codecov/codecov-action@e28ff129e5465c2c0dcc6f003fc735cb6ae0c673 # v4.5.0 - with: - file: ./coverage.out - fail_ci_if_error: true