Bump webots test version

Author: WillB97

.github/workflows/check.yml

@@ -37,7 +37,7 @@ jobs:
       if: runner.os == 'Linux'
       run: |
         wget -O ./webots.deb \
-        https://github.com/cyberbotics/webots/releases/download/R2023b/webots_2023b_amd64.deb
+        https://github.com/cyberbotics/webots/releases/download/R2025a/webots_2025a_amd64.deb
         sudo apt-get install --yes ./webots.deb
     - name: Download & extract Webots (Windows)
       # Windows install was problematic so we just extract the python library for typehints
@@ -46,14 +46,14 @@ jobs:
       run: |
         mkdir stubs
         C:\\msys64\\usr\\bin\\wget.exe -O ./webots.tar.bz2 \
-          https://github.com/cyberbotics/webots/releases/download/R2023b/webots-R2023b-x86-64.tar.bz2
+          https://github.com/cyberbotics/webots/releases/download/R2025a/webots-R2025a-x86-64.tar.bz2
         C:\\msys64\\usr\\bin\\tar.exe xvf webots.tar.bz2 --strip-components=4 \
           --directory=stubs webots/lib/controller/python/controller
     - 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
+        https://github.com/cyberbotics/webots/releases/download/R2025a/webots-R2025a.dmg
         hdiutil mount ./webots.dmg
         sudo cp -R /Volumes/Webots/Webots.app /Applications
         hdiutil unmount /Volumes/Webots