Feat/coverage test

.github/workflows/test.yml

@@ -0,0 +1,65 @@
+name: Test and coverage
+
+on:
+  pull_request:
+  push:
+    branches:
+      - main
+
+permissions:
+  contents: read
+
+concurrency:
+  group: test-${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
+env:
+  CARGO_TERM_COLOR: always
+  CARGO_NET_GIT_FETCH_WITH_CLI: "true"
+  DARGO_STD_PATH: ${{ github.workspace }}/psy-std/std.psy
+
+jobs:
+  test:
+    name: Workspace tests
+    runs-on: ubuntu-24.04
+    steps:
+      - name: Check out repository
+        uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
+        with:
+          persist-credentials: false
+
+      - name: Install Rust toolchain
+        run: rustup show active-toolchain
+
+      - name: Run workspace tests
+        run: make test
+
+  coverage:
+    name: Coverage report
+    runs-on: ubuntu-24.04
+    steps:
+      - name: Check out repository
+        uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
+        with:
+          persist-credentials: false
+
+      - name: Install Rust toolchain and coverage component
+        run: |
+          rustup show active-toolchain
+          rustup component add llvm-tools-preview
+
+      - name: Install cargo-llvm-cov
+        run: cargo install cargo-llvm-cov --version 0.9.0 --locked
+
+      - name: Generate coverage baseline
+        run: make coverage
+
+      - name: Upload coverage report
+        uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4.6.2
+        with:
+          if-no-files-found: error
+          name: coverage-report
+          path: |
+            target/coverage/html
+            target/coverage/lcov.info
+          retention-days: 14

.gitignore

@@ -15,6 +15,8 @@ perf2
 
 psy_prover/examples/debug_data/
 target/
+coverage/
+*.profraw
 **/node_modules/
 .idea/
 .cursor
@@ -34,4 +36,4 @@ book/
 # Generated deployment files
 /aws*/
 
-.env
+.env