Setup cross-platform CI

.github/workflows/ci.yml

@@ -0,0 +1,43 @@
+name: Cross-Platform CI
+
+on:
+  push:
+    branches:
+      - master
+  pull_request:
+    branches:
+      - master
+
+jobs:
+  test:
+    runs-on: ${{ matrix.os }}
+    timeout-minutes: 3
+    strategy:
+      fail-fast: false
+      matrix:
+        os: [ubuntu-latest, macos-latest, windows-latest]
+        node-version: [20.18.0]
+
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v4
+
+      - name: Use Node.js ${{ matrix.node-version }}
+        uses: actions/setup-node@v4
+        with:
+          node-version: ${{ matrix.node-version }}
+
+      - name: Install dependencies
+        run: npm ci
+
+      - name: Run tests
+        run: npm test
+
+      - 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