From 1ecc59dcd5b13b4b487f579592b3870a0d17c7c2 Mon Sep 17 00:00:00 2001
From: Alessandro Pignotti <a.pignotti@sssup.it>
Date: Tue, 15 Oct 2024 11:22:03 +0200
Subject: [PATCH] GH++

---
 .github/workflows/deploy.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index 7e7e4f6..2dbf5b5 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -183,13 +183,11 @@ jobs:
           sed -i 's#ARGS#${{ env.ARGS }}#g' config_github_terminal.js
           sed -i 's#ENV#${{ env.ENV }}#g' config_github_terminal.js
           sed -i 's#CWD#${{ env.CWD }}#g' config_github_terminal.js
-          # Debug
-          cat config_github_terminal.js
 
       - name: Build NPM package
         run: |
           npm install
-          WEBVM_MODE=github npm build run
+          WEBVM_MODE=github npm run build
 
       # Move required files for gh-pages deployment to the deployment directory $DEPLOY_DIR.
       - run: mv build $DEPLOY_DIR