From b2ae6881d67ff68d8b12a2cb2c97caf60189b235 Mon Sep 17 00:00:00 2001
From: Alessandro Pignotti <a.pignotti@sssup.it>
Date: Mon, 14 Oct 2024 19:55:40 +0200
Subject: [PATCH] CI: Fix ssh host variable

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

diff --git a/.circleci/config.yml b/.circleci/config.yml
index b40debc..8c0398d 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -31,7 +31,7 @@ jobs:
       - run:
           name: Deploy webvm
           command: |
-            scp -rP $SSH_PORT webvm/build/* leaningtech@SSH_HOST:/srv/web/webvm_next/
+            scp -rP $SSH_PORT webvm/build/* leaningtech@${SSH_HOST}:/srv/web/webvm_next/
 
 workflows:
   deploy: