the CI is currently broken, which is why the latest changes on main didn't result into updates of the docker containers.