Attempt to install webots

Use sudo

.github/workflows/check.yml

@@ -33,6 +33,26 @@ jobs:
       run: |
         python -m pip install --upgrade pip
         python -m pip install -r dev_requirements.txt
+     - name: Download & install Webots (Linux)
+        if: runner.os == 'Linux'
+        run: |
+          wget -O ./webots.deb \
+          https://github.com/cyberbotics/webots/releases/download/R2023b/webots_2023b_amd64.deb
+          sudo apt-get install --yes ./webots.deb
+    - name: Download & install Webots (Windows)
+        if: runner.os == 'Windows'
+        run: |
+          Invoke-WebRequest -Uri https://github.com/cyberbotics/webots/releases/download/R2023b/webots-R2023b_setup.exe
+          Start-Process -Wait -FilePath webots-R2023b_setup.exe
+    - name: Download & install Webots (macOS)
+        if: runner.os == 'macOS'
+        run: |
+          wget -O ./webots.dmg \
+          https://github.com/cyberbotics/webots/releases/download/R2023b/webots-R2023b.dmg
+          hdiutil mount ./webots.dmg
+          sudo cp -R /Volumes/Webots/Webots.app /Applications
+          hdiutil unmount /Volumes/Webots
+
     - name: Lint
       run: |
         poe lint
@@ -56,8 +76,8 @@ jobs:
     - name: Install release dependencies
       run: |
         # pandoc is required for README.rst -> README.md conversion
-        apt-get update
-        apt-get install -y pandoc
+        sudo apt-get update
+        sudo apt-get install -y pandoc
         python -m pip install --upgrade pip
         python -m pip install -r dev_requirements.txt
     - name: Make release