extend workflow

Author: joneugster

Diff for: .github/workflows/build.yml

@@ -7,16 +7,16 @@ on:
   pull_request:
     branches: ["main"]
 jobs:
-
   build:
+    name: Build server
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
         with:
           submodules: true
       - name: Set up Docker
         uses: docker/setup-buildx-action@v3
-      - name: Build cocker image
+      - name: Build server docker image
         uses: docker/build-push-action@v6
         with:
           tags: lean4monaco:latest
@@ -26,20 +26,36 @@ jobs:
         with:
           name: lean4monaco
           path: /tmp/lean4monaco.tar
-  use:
-    runs-on: ubuntu-latest
+  test:
     needs: build
+    strategy:
+      fail-fast: false
+      matrix:
+        include:
+          - name: Linux
+            os: ubuntu-latest
+          - name: macOS
+            os: macos-latest
+          - name: Windows
+            os: windows-latest
+    name: ${{ matrix.name }}
+    runs-on: ${{ matrix.os }}
     steps:
-      - name: Download artifact
+      - name: Download server image
         uses: actions/download-artifact@v4
         with:
           name: lean4monaco
           path: /tmp
-      - name: Load image
-        run: |
-          docker load --input /tmp/lean4monaco.tar
-          docker image ls -a
-          docker run -dit -p 5173:5173 -p 8080:8080 lean4monaco
+      - name: Load server image
+        run: docker load --input /tmp/lean4monaco.tar
+      - name: Start server
+        run: docker run -dit -p 5173:5173 -p 8080:8080 lean4monaco
+      - name: Run tests
+        uses: cypress-io/github-action@v6
+        with:
+          # browser: chrome
+          # start: npm start
+          wait-on: 'http://localhost:5173'
   # test:
   #   strategy:
   #     fail-fast: false