Fix docs

2026-05-03 19:30:47 +02:00 · 2021-06-03 08:43:41 -07:00
parent 1085cc2178
commit ff9673463c
1 changed files with 2 additions and 1 deletions
@@ -4,6 +4,7 @@ on: [push, pull_request]

 jobs:
  build:
+    # Use Ubuntu 20.04 because doxygen 1.8.13 from Ubuntu 18.04 is broken.
    runs-on: ubuntu-20.04

    steps:
@@ -11,7 +12,7 @@ jobs:

    - name: Create Build Environment
      run: |
-        sudo apt install doxygen python-virtualenv
+        sudo apt install doxygen python3-virtualenv
        sudo npm install -g less clean-css
        cmake -E make_directory ${{runner.workspace}}/build