Merge remote-tracking branch 'origin/master' into develop

abdes · Sep 21, 2022 · 17438fd · 17438fd
2 parents fc5d84a + 9591c99
commit 17438fd
Show file tree

Hide file tree

Showing 5 changed files with 36 additions and 599 deletions.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -44,6 +44,11 @@ jobs:
       - name: Install dependencies
         run: python3 -m pip install -r ./requirements.txt
 
+      - name: Install X11 dependencies
+        shell: bash
+        run: |
+          sudo apt-get install -y -qq xorg-dev libglu1-mesa-dev
+
       - name: Configure CMake
         run: cmake -B build -DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}}