From 969d4aef60da89014298d02a496af62cb88214d6 Mon Sep 17 00:00:00 2001 From: Victor Zverovich Date: Wed, 16 Apr 2025 07:15:14 -0700 Subject: [PATCH] Update doc image --- .github/workflows/doc.yml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 019a85f1..d76eb47e 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -7,8 +7,7 @@ permissions: jobs: build: - # Use Ubuntu 20.04 because doxygen 1.8.13 from Ubuntu 18.04 is broken. - runs-on: ubuntu-20.04 + runs-on: ubuntu-22.04 steps: - uses: actions/checkout@d632683dd7b4114ad314bca15554477dd762a938 # v4.2.0 @@ -25,7 +24,7 @@ jobs: run: | sudo apt update sudo apt install doxygen - pip install mkdocs-material==9.5.25 mkdocstrings==0.25.1 mike==2.1.1 + pip install mkdocs-material==9.5.25 mkdocstrings==0.26.1 mike==2.1.1 cmake -E make_directory ${{runner.workspace}}/build # Workaround https://github.com/actions/checkout/issues/13: git config --global user.name "$(git --no-pager log --format=format:'%an' -n 1)"