Try updating OS, debugging info

tautschnig · Jan 13, 2025 · 99390ee · 99390ee
1 parent 56bbf66
commit 99390ee
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 2 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

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 @@