Initial commit: cleanup workflows

Author: hwray

Diff for: .github/workflows/lint-pr.yml

@@ -1,4 +1,4 @@
-name: Tests / Code Coverage
+name: Tests
 on:
   pull_request:
   merge_group:
@@ -36,13 +36,4 @@ jobs:
       - name: tests
         if: env.GIT_DIFF
         run: |
-          make test
-      - name: test-cover
-        run: |
-          make test-cover
-      - name: Upload coverage reports to Codecov
-        uses: codecov/codecov-action@v5
-        env:
-          CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}
-        with:
-          files: cover.out
+          make test