Run separate job for integration and MBT tests

informalsystems · Dec 1, 2023 · 688fa77 · 688fa77
1 parent b69788a
commit 688fa77
Show file tree

Hide file tree

Showing 2 changed files with 43 additions and 1 deletion.
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -15,6 +15,7 @@ on:
 
 jobs:
   coverage:
+    name: Coverage
     runs-on: ubuntu-latest
     defaults:
       run:
@@ -38,12 +39,49 @@ jobs:
       - name: Install cargo-llvm-cov
         uses: taiki-e/install-action@cargo-llvm-cov
       - name: Generate code coverage
-        run: cargo llvm-cov nextest --all-features --workspace --lcov --output-path lcov.info
+        run: cargo llvm-cov nextest --workspace --exclude malachite-itf --all-features --lcov --output-path lcov.info
       - name: Generate text report
         run: cargo llvm-cov report
       - name: Upload coverage to Codecov
         uses: codecov/codecov-action@v3
         with:
           token: ${{ secrets.CODECOV_TOKEN }}
           files: Code/lcov.info
+          flags: integration
+          fail_ci_if_error: true
+
+  mbt-coverage:
+    name: MBT
+    runs-on: ubuntu-latest
+    defaults:
+      run:
+        working-directory: Code
+    env:
+      CARGO_TERM_COLOR: always
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+      - uses: actions/setup-node@v3
+        with:
+          node-version: "18"
+      - run: npm install -g @informalsystems/quint
+      - name: Setup Rust toolchain
+        uses: actions-rust-lang/setup-rust-toolchain@v1
+        with:
+          toolchain: nightly
+          components: llvm-tools-preview
+      - name: Install cargo-nextest
+        uses: taiki-e/install-action@cargo-nextest
+      - name: Install cargo-llvm-cov
+        uses: taiki-e/install-action@cargo-llvm-cov
+      - name: Generate code coverage
+        run: cargo llvm-cov nextest -p malachite-itf --all-features --lcov --output-path lcov.info
+      - name: Generate text report
+        run: cargo llvm-cov report
+      - name: Upload coverage to Codecov
+        uses: codecov/codecov-action@v3
+        with:
+          token: ${{ secrets.CODECOV_TOKEN }}
+          files: Code/lcov.info
+          flags: mbt
           fail_ci_if_error: true
diff --git a/codecov.yml b/codecov.yml
@@ -1,6 +1,10 @@
 codecov:
   require_ci_to_pass: yes
 
+ignore:
+  - "Code/itf"
+  - "Code/test"
+
 coverage:
   precision: 2
   round: nearest