chore: upload coverage to Codecov (#115)

cdklabs · Apr 27, 2023 · 81d574f · 81d574f
1 parent ef20e0b
commit 81d574f
Showing 1 changed file with 12 additions and 6 deletions.
diff --git a/.github/workflows/fmt-actions.yml → .github/workflows/correctness.yml b/.github/workflows/fmt-actions.yml → .github/workflows/correctness.yml
@@ -15,13 +15,11 @@ jobs:
           profile: minimal
           toolchain: stable
           override: true
-          components: rustfmt, clippy
-      # Ensure build.rs has ran before we assert formatting...
+          components: rustfmt, clippy, llvm-tools-preview
+      # Ensure build.rs has ran before we assert formatting... Gather coverage.
       - name: Run tests
-        uses: actions-rs/cargo@v1
-        with:
-          command: test
-          args: --verbose
+        run: tasks/coverage.sh
+
       - name: Check formatting
         uses: actions-rs/cargo@v1
         with:
@@ -32,3 +30,11 @@ jobs:
         with:
           command: clippy
           args: --manifest-path ./Cargo.toml -- -Adead-code -D warnings
+
+      # Upload coverage data to Codecov
+      - name: Upload coverage to Codecov
+        uses: codecov/codecov-action@v3
+        with:
+          token: ${{ secrets.CODECOV_TOKEN }}
+          files: target/coverage/lcov.info
+          fail_ci_if_error: true