Makes EE be separately built and pushed

.github/workflows/docker_latest.yml

@@ -32,10 +32,6 @@ jobs:
             repo: "grist-core"
           - name: "grist"
             repo: "grist-ee"
-          # For now, we build it twice, with `grist-ee` being a
-          # backwards-compatible synonym for `grist`.
-          - name: "grist-ee"
-            repo: "grist-ee"
     steps:
       - name: Check out the repo
         uses: actions/checkout@v2
@@ -109,6 +105,18 @@ jobs:
           cache-to: type=gha,mode=max
           build-contexts: ${{ matrix.image.name != 'grist-oss' && 'ext=ext' || '' }}
 
+      - name: Push Enterprise to Docker Hub
+        if: ${{ matrix.image.name == 'grist' }}
+        uses: docker/build-push-action@v2
+        with:
+          context: .
+          file: ext/Dockerfile
+          platforms: linux/amd64,linux/arm64/v8
+          push: true
+          tags: ${{ github.repository_owner }}/${{ matrix.image.name }}:experimental
+          cache-from: type=gha
+          cache-to: type=gha,mode=max
+
   update_latest_branch:
     name: Update latest branch
     runs-on: ubuntu-latest

buildtools/.grist-ee-version

@@ -1 +1 @@
-0.9.2
+0.9.3