Merge branch 'dev'

.github/workflows/docs.yml

@@ -24,6 +24,7 @@ jobs:
 
       - name: Build
         run: |
+          export TZ=UTC
           cd doc
           doxygen
 
@@ -33,29 +34,29 @@ jobs:
           mv _build_doxygen/html deploy/doxygen
           mv _build_sphinx/html/* deploy
 
-      - name: Setup pages
-        if: github.event_name != 'pull_request'
-        uses: actions/configure-pages@v4
+      # - name: Setup pages
+      #   if: github.event_name != 'pull_request'
+      #   uses: actions/configure-pages@v4
 
-      - name: Upload pages artifact
-        if: github.event_name != 'pull_request'
-        uses: actions/upload-pages-artifact@v3
-        with:
-          path: doc/deploy
+      # - name: Upload pages artifact
+      #   if: github.event_name != 'pull_request'
+      #   uses: actions/upload-pages-artifact@v3
+      #   with:
+      #     path: doc/deploy
 
       - name: Upload artifacts
-        if: github.event_name == 'pull_request'
-        uses: actions/upload-artifact@v4
+        # if: github.event_name == 'pull_request'
+        uses: actions/upload-artifact@v3
         with:
           path: doc/deploy
 
-  deploy:
-    runs-on: ubuntu-22.04
-    needs: build
-    if: github.event_name != 'pull_request'
-    permissions:
-      pages: write
-      id-token: write
-    steps:
-      - name: Deploy to GitHub Pages
-        uses: actions/deploy-pages@v4
+  # deploy:
+  #   runs-on: ubuntu-22.04
+  #   needs: build
+  #   if: github.event_name != 'pull_request'
+  #   permissions:
+  #     pages: write
+  #     id-token: write
+  #   steps:
+  #     - name: Deploy to GitHub Pages
+  #       uses: actions/deploy-pages@v4