diff --git a/.github/deploy.sh b/.github/deploy.sh
index 17eb35b4649..aa76f8f4e41 100755
--- a/.github/deploy.sh
+++ b/.github/deploy.sh
@@ -2,6 +2,7 @@
 # Automatically deploy on gh-pages
 
 set -e
+set -x
 
 SOURCE_BRANCH="master"
 TARGET_BRANCH="gh-pages"