fix: configure Git credentials for GitHub Actions and update document…

…ation deployment step

.github/workflows/main.yml

@@ -83,6 +83,11 @@ jobs:
     steps:
       - name: Checkout code
         uses: actions/checkout@v4
+
+      - name: Configure Git Credentials
+        run: |
+          git config user.name github-actions[bot]
+          git config user.email github-actions[bot]@users.noreply.github.com
 
       - name: Install Pixi
         uses: prefix-dev/[email protected]
@@ -92,9 +97,13 @@ jobs:
           cache: true
           locked: false # wont be the same because of the tag
 
+      - name: Test docs build
+        run: |
+          pixi run -e ${{ matrix.env }} doc-build
+
       - name: Publish docs using mike
         run: |
-          pixi run -e ${{ matrix.env }} mike deploy --push --update-aliases dev latest
+          pixi run -e ${{ matrix.env }} mike deploy --push dev devel
 
 
   ################################################################################################