From 99390ee6acd970010b482c3b833e8a0babda8c6c Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Mon, 13 Jan 2025 14:06:01 +0000 Subject: [PATCH] Try updating OS, debugging info --- .github/workflows/doxygen-check.yaml | 2 +- .github/workflows/publish.yaml | 2 +- doc/doxygen-root/doxygen-markdown/markdown.sh | 2 ++ 3 files changed, 4 insertions(+), 2 deletions(-) diff --git a/.github/workflows/doxygen-check.yaml b/.github/workflows/doxygen-check.yaml index 07d28bd3654..aee60708d63 100644 --- 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 index 062fa3d5216..8d4b4ca0987 100644 --- 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 index c0a3c12a969..e47782e491a 100755 --- 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')