diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index fe8d24a..9def04d 100755
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -101,7 +101,8 @@ jobs:
           echo "Updating gh-pages branch..."
           git config --global user.email "actions@github.com"
           git config --global user.name "GitHub Actions"
-          git clone -q -b gh-pages https://${TOKEN_GITHUB}@github.com/simgrid/DTLMod.git gh-pages > /dev/null
+          echo "git clone -q -b gh-pages https://${TOKEN_GITHUB}@github.com/simgrid/DTLMod.git gh-pages"
+          git clone -b gh-pages https://${TOKEN_GITHUB}@github.com/simgrid/DTLMod.git gh-pages > /dev/null
           cd gh-pages
           cp -Rf $HOME/gh-pages-to-deploy/* .
           touch .nojekyll