can I share the docker image?

Author: joneugster

Diff for: .github/workflows/build.yml

@@ -1,28 +1,71 @@
 name: Test on Linux server
-run-name: Test on Linux server
+run-name: Test editor end-to-end
 on:
   workflow_dispatch:
   push:
     branches: ["main"] # replace "main" with the default branch
   pull_request:
     branches: ["main"]
 jobs:
-  test:
+
+  build:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
         with:
           submodules: true
-      - name: build docker image
-        run: docker build --progress plain -t hhu-adam/lean4monaco .
-      - name: start server
-        run: docker run -dit -p 5173:5173 -p 8080:8080 hhu-adam/lean4monaco
-      - name: Run tests
-        uses: cypress-io/github-action@v6
+      - name: Set up Docker
+        uses: docker/setup-buildx-action@v3
+      - name: Build cocker image
+        uses: docker/build-push-action@v6
+        with:
+          tags: lean4monaco:latest
+          outputs: type=docker,dest=/tmp/lean4monaco.tar
+      - name: Upload artifact
+        uses: actions/upload-artifact@v4
+        with:
+          name: lean4monaco
+          path: /tmp/lean4monaco.tar
+  use:
+    runs-on: ubuntu-latest
+    needs: build
+    steps:
+      - name: Download artifact
+        uses: actions/download-artifact@v4
         with:
-          browser: chrome
-        #   start: npm start
-          wait-on: 'http://localhost:5173'
+          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
+  # test:
+  #   strategy:
+  #     fail-fast: false
+  #     matrix:
+  #       include:
+  #         - name: Linux
+  #           os: ubuntu-latest
+  #         - name: macOS
+  #           os: macos-latest
+  #         - name: Windows
+  #           os: windows-latest
+  #   runs-on: ubuntu-latest
+  #   steps:
+  #     - uses: actions/checkout@v4
+  #       with:
+  #         submodules: true
+  #     - name: build docker image
+  #       run: docker build -t hhu-adam/lean4monaco .
+  #     - name: start server
+  #       run: docker run -dit -p 5173:5173 -p 8080:8080 hhu-adam/lean4monaco
+  #     - name: Run tests
+  #       uses: cypress-io/github-action@v6
+  #       with:
+  #         browser: chrome
+  #       #   start: npm start
+  #         wait-on: 'http://localhost:5173'
 
 
 #   start-server: