yet another GH workflow fix

simgrid · Sep 16, 2024 · 91bc664 · 91bc664
1 parent f7f5803
commit 91bc664
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 "[email protected]"
           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