chore: Split out actions, use code coverage test (#114)

Co-authored-by: 🧑🏻‍💻 Romain Marcadier <rmuller@amazon.com>

.github/workflows/correctness.yml → .github/workflows/pr-actions.yml

@@ -5,8 +5,8 @@ on:
 name: Checks
 
 jobs:
-  correctness:
-    name: correctness
+  lint_and_format:
+    name: Lint and Format
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v2
@@ -15,11 +15,12 @@ jobs:
           profile: minimal
           toolchain: stable
           override: true
-          components: rustfmt, clippy, llvm-tools-preview
-      # Ensure build.rs has ran before we assert formatting... Gather coverage.
-      - name: Run tests
-        run: tasks/coverage.sh
-
+          components: rustfmt, clippy
+      # Ensure build.rs has ran before we assert formatting...
+      - name: Build
+        uses: actions-rs/cargo@v1
+        with:
+          command: build
       - name: Check formatting
         uses: actions-rs/cargo@v1
         with:
@@ -30,8 +31,19 @@ jobs:
         with:
           command: clippy
           args: --manifest-path ./Cargo.toml -- -Adead-code -D warnings
-
-      # Upload coverage data to Codecov
+  testing:
+    name: Run Tests
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: actions-rs/toolchain@v1
+        with:
+          profile: minimal
+          toolchain: stable
+          override: true
+          components: llvm-tools-preview
+      - name: Tests with Coverage
+        run: bash tasks/coverage.sh
       - name: Upload coverage to Codecov
         uses: codecov/codecov-action@v3
         with: