back docker

.github/workflows/release.yaml

@@ -10,6 +10,45 @@ env:
   IMAGE_NAME: ${{ github.repository }}
 
 jobs:
+  server:
+    runs-on: ubuntu-latest
+
+    permissions:
+      contents: read
+      packages: write
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      # Setup Docker
+      - name: Docker meta
+        id: meta
+        uses: docker/metadata-action@v5
+        with:
+          images: ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}
+      - name: Setup QEMU
+        uses: docker/setup-qemu-action@v3
+      - name: Setup Docker Buildx
+        uses: docker/setup-buildx-action@v3
+      - name: Docker login
+        uses: docker/login-action@v3
+        with:
+          registry: ${{ env.REGISTRY }}
+          username: ${{ github.actor }}
+          password: ${{ secrets.GITHUB_TOKEN }}
+
+      - name: Build and Push
+        uses: docker/build-push-action@v6
+        with:
+          push: true
+          context: rustowl-server
+          platforms: linux/amd64,linux/arm64
+          tags: ${{ steps.meta.outputs.tags }}
+          labels: ${{ steps.meta.outputs.labels }}
+          cache-from: type=gha
+          cache-to: type=gha,mode=max
+
   extension:
     runs-on: ubuntu-latest
 

rustowl-vscode/src/extension.ts

@@ -439,13 +439,21 @@ export function activate(context: vscode.ExtensionContext) {
     context.subscriptions
   );
 
+  if (dockerStatus === "not started") {
+    startServer();
+  }
+  /*
   if (serverProcess === undefined) {
     runServer();
   }
+  */
 }
 
 export function deactivate() {
+  dockerStop();
+  /*
   if (serverProcess instanceof ChildProcess) {
     serverProcess.kill();
   }
+    */
 }