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
hirosystems/clarinet#1634 is resolved.

.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