Run different number of examples on each platform

Author: cbourjau

.github/workflows/array-api.yml

@@ -28,9 +28,15 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os:
-          - ubuntu-latest
-          - macos-latest
+        include:
+          # Different platforms are faster than others. We try to keep
+          # the CI snappy at <= 2min.
+          - os: ubuntu-latest
+            max-examples-ci: 50
+          - os: macos-latest
+            max-examples-ci: 100
+          - os: windows-latest
+            max-examples-ci: 50
     steps:
       - name: Checkout branch
         uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
@@ -46,7 +52,7 @@ jobs:
         run: pixi run arrayapitests --max-examples 1000 --hypothesis-seed=""
       - name: Run Array API tests (PR and main branch)
         if: ${{ github.event_name != 'schedule' }}
-        run: pixi run arrayapitests -n 3
+        run: pixi run arrayapitests --max-examples "$max-examples-ci"
       - name: Upload Array API tests report
         uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4.6.2
         with: