From d597d95a84fb534a4d623577ed71753bc0c609b4 Mon Sep 17 00:00:00 2001
From: BowTiedRadone <92028479+BowTiedRadone@users.noreply.github.com>
Date: Sat, 28 Dec 2024 12:38:58 +0200
Subject: [PATCH] Split `tests` and `example tests` into distinct jobs

This commit separates the jobs for running regular tests and example tests.
Example tests are now included for Windows, increasing coverage until
https://github.com/hirosystems/clarinet/issues/1634 is resolved.
---
 .github/workflows/ci.yml | 36 +++++++++++++++++++++++++++++-------
 1 file changed, 29 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 6343b628..25cc69f9 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -9,7 +9,7 @@ on:
       - master
 
 jobs:
-  test:
+  tests:
     runs-on: ${{ matrix.os }}
     timeout-minutes: 3
     strategy:
@@ -33,11 +33,33 @@ jobs:
       - name: Run tests
         run: npm test
 
+  example-tests:
+    runs-on: ${{ matrix.os }}
+    timeout-minutes: 3
+    strategy:
+      fail-fast: false
+      matrix:
+        os: [ubuntu-latest, macos-latest, windows-latest]
+        node: [22, 20, 18]
+
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v4
+
+      - name: Use Node.js ${{ matrix.node }}
+        uses: actions/setup-node@v4
+        with:
+          node-version: ${{ matrix.node }}
+
+      - name: Install dependencies
+        run: npm ci
+
       - name: Run example tests
         run: |
-          ./rv example counter test
-          ./rv example counter invariant
-          ./rv example cargo test
-          ./rv example cargo invariant
-          ./rv example reverse test
-          ./rv example slice test
+          cd example
+          ../rv . counter test
+          ../rv . counter invariant
+          ../rv . cargo test
+          ../rv . cargo invariant
+          ../rv . reverse test
+          ../rv . slice test