Merge remote-tracking branch 'origin/main' into main

jeertmans · Dec 30, 2023 · b698a85 · b698a85
2 parents 8df19f3 + fbd6e54
commit b698a85
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
@@ -41,6 +41,7 @@ jobs:
       run: |
         sudo apt-get update
         sudo apt-get install freeglut3-dev xvfb
+        sudo apt-get install x11-utils
         nohup Xvfb $DISPLAY -screen 0 1400x900x24 -dpi 96 +extension RANDR +render &
 
     - name: Install PDM