Try updating OS, debugging info

tautschnig · Jan 13, 2025 · 347f342 · 347f342
1 parent 56bbf66
commit 347f342
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 3 deletions.
diff --git a/.github/workflows/doxygen-check.yaml b/.github/workflows/doxygen-check.yaml
@@ -8,7 +8,7 @@ jobs:
   check-doxygen:
     # Note that the versions used for this `check-doxygen` job should be kept in
     # sync with the `publish` job.
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     steps:
     - uses: actions/checkout@v4
     - name: Fetch dependencies

diff --git a/.github/workflows/publish.yaml b/.github/workflows/publish.yaml
@@ -6,7 +6,7 @@ jobs:
   publish:
     # Note that the versions used for this `publish` job should be kept in sync
     # with the `check-doxygen` job.
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     steps:
       - name: Checkout repository
         uses: actions/checkout@v4
@@ -25,7 +25,9 @@ jobs:
           cd ..
 
       - name: Build documentation
-        run: cd doc/doxygen-root && make && touch html/.nojekyll
+        run: |
+          echo 0 | sudo tee /proc/sys/kernel/apparmor_restrict_unprivileged_userns
+          cd doc/doxygen-root && make && touch html/.nojekyll
 
       - name: Publish documentation
         if: ${{ github.event_name == 'push' && startsWith('refs/heads/develop', github.ref) }}

diff --git a/doc/doxygen-root/doxygen-markdown/markdown.sh b/doc/doxygen-root/doxygen-markdown/markdown.sh
@@ -2,6 +2,8 @@
 
 set -euo pipefail
 
+set -vx
+
 BINDIR=$(dirname $(realpath ${BASH_SOURCE[0]}))
 FILES=$(find . -name '*.md')
-Original file line number
+Diff line change
@@ Expand Up / @@ -2,6 +2,8 @@ @@
     set -euo pipefail
+    set -vx
     BINDIR=$(dirname $(realpath ${BASH_SOURCE[0]}))
     FILES=$(find . -name '*.md')
@@ Expand Down @@