Merge branch 'master' into gloves

.github/workflows/gloves_build.yml

@@ -145,14 +145,16 @@ jobs:
       - name: Checkout doxygen-awesome
         run: git clone https://github.com/jothepro/doxygen-awesome-css.git doxygen-awesome-css
       - name: Generate Documentation
-        run: doxygen Doxyfile
-      - name: Commit and Push Documentation
         run: |
-          git config --local user.email "[email protected]"
-          git config --local user.name "GitHub Action"
-          git add docs
-          git commit -m "Update Doxygen documentation"
-          git push -f origin HEAD:gloves-docs
+          mkdir -p docs/gloves
+          doxygen Doxyfile
+          echo "Listing contents of docs/gloves:"
+          ls -R docs/gloves || echo "No files found in docs/gloves"
+      - name: Upload Doxygen Documentation as Artifact
+        uses: actions/upload-artifact@v3
+        with:
+          name: doxygen-docs-gloves
+        path: docs/gloves
 
   deploy:
     needs: [setup, test, embedded, wasm, docs]