fix github action

Author: frs69wq

.github/workflows/build.yml

@@ -14,6 +14,8 @@ concurrency:
 jobs:
   build:
     runs-on: ubuntu-latest
+    permissions:
+      contents: write
     steps:
       - uses: actions/checkout@v6
         with:
@@ -148,9 +150,9 @@ jobs:
             -Dsonar.coverageReportPaths=build/coverage.xml
 
       - name: Build and deploy documentation
-        if: github.ref == 'refs/heads/main' && env.TOKEN_GITHUB != ''
+        if: github.ref == 'refs/heads/main'
         env:
-          TOKEN_GITHUB: ${{ secrets.TOKEN_GITHUB }}
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         run: |
           cd doc
           LC_ALL=C.UTF-8 ./Build.sh
@@ -159,7 +161,7 @@ jobs:
           cd ..
           git config --global user.email "actions@github.com"
           git config --global user.name "GitHub Actions"
-          git clone -b gh-pages https://${TOKEN_GITHUB}@github.com/simgrid/DTLMod.git gh-pages
+          git clone -b gh-pages https://x-access-token:${GH_TOKEN}@github.com/simgrid/DTLMod.git gh-pages
           cd gh-pages
           cp -Rf $HOME/gh-pages-to-deploy/* .
           touch .nojekyll