code changes for release 3.1.0: SciLog, DA30-PShell data files

2025-12-22 17:04:08 +01:00
parent 43689ef162
commit ea838b395f
12 changed files with 2437 additions and 169 deletions
@@ -0,0 +1,46 @@
+name: build and deploy documentation
+
+on:
+  push:
+    branches:
+      - distro
+
+jobs:
+  build-and-deploy:
+    runs-on: ubuntu-latest
+    container:
+      image: gitea.psi.ch/pearl/docs
+      credentials:
+        username: ${{ gitea.actor }}
+        password: ${{ secrets.package_token }}
+
+    steps:
+      - name: checkout
+        working-directory: /app
+        run: |
+          git clone --branch master --single-branch https://${{ secrets.REPO_TOKEN }}@gitea.psi.ch/${{ github.repository }}.git
+          
+      - name: build
+        working-directory: /app/igor-procs/doc
+        run: |
+          REVISION=$(git describe --always --tags --dirty --long || date +"%F %T %z")
+          export REVISION
+          doxygen config.dox
+          mv html/ /app/
+
+      - name: configure git
+        working-directory: /app/igor-procs
+        run: |
+          git config --global user.name "Gitea Actions"
+          git config --global user.email "actions@gitea.local"
+          
+      - name: push to gitea-pages
+        working-directory: /app/igor-procs
+        run: |
+          git checkout --orphan gitea-pages
+          git reset --hard
+          cp -r /app/html/* .
+          git add .
+          git commit -m "Deploy documentation to gitea"
+          git push -f https://${{ secrets.REPO_TOKEN }}@gitea.psi.ch/${{ github.repository }}.git gitea-pages
+