From db2e9a68ef54306548b31f4457640239f4b84558 Mon Sep 17 00:00:00 2001
From: Yuri Iozzelli <y.iozzelli@gmail.com>
Date: Tue, 1 Apr 2025 17:39:38 +0200
Subject: [PATCH] ci: switch deploy to new server

---
 .circleci/config.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 27436e6..317ae57 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -32,7 +32,7 @@ jobs:
       - run:
           name: Deploy webvm
           command: |
-            rsync -avz -e "ssh -p ${SSH_PORT}" webvm/build/ leaningtech@${SSH_HOST}:/srv/web/webvm/
+            rsync -avz --chown circleci:runtimes webvm/build/ circleci@$havana.leaningtech.com:webvm/
 
 workflows:
   deploy: