From de3cb8891c83e7eea2b9b28ddbf7a5bfa3283b8c Mon Sep 17 00:00:00 2001 From: MNikoliCC Date: Thu, 12 Dec 2024 11:31:01 +0100 Subject: [PATCH] Fix Webots version in Docker --- scripts/ci_before_init_embed.bash | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/ci_before_init_embed.bash b/scripts/ci_before_init_embed.bash index 4074e52cf..a73d52ea9 100755 --- a/scripts/ci_before_init_embed.bash +++ b/scripts/ci_before_init_embed.bash @@ -2,8 +2,8 @@ ROS_DISTRO=$1 -export TEST_WITH_WEBOTS_NIGTHLY=0 -export WEBOTS_RELEASE_VERSION=2024a +export TEST_WITH_WEBOTS_NIGTHLY=1 +export WEBOTS_RELEASE_VERSION=2025a export WEBOTS_OFFSCREEN=1 export CI=1 export DEBIAN_FRONTEND=noninteractive