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