Build Theia IDE Docker Image for ARM as well #338

Contributed on behalf of STMicroelectronics
eclipse-theia · Mar 19, 2024 · b97a0eb · b97a0eb
1 parent 61f6194
commit b97a0eb
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/publish-theia-ide-img.yml b/.github/workflows/publish-theia-ide-img.yml
@@ -17,6 +17,9 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v2
 
+      - name: Set up Docker Buildx
+        uses: docker/[email protected]
+
       - name: Login to Docker Hub
         uses: docker/login-action@v1
         with:
@@ -38,4 +41,5 @@ jobs:
           push: true
           tags: |
             ghcr.io/${{ github.repository }}/theia-ide:${{ github.event.inputs.tag }}
-            ghcr.io/${{ github.repository }}/theia-ide:latest
+            ghcr.io/${{ github.repository }}/theia-ide:latest
+          platforms: linux/amd64,linux/arm64