Merge branch 'develop' into pr/initrv/8426

This commit is contained in:
Matthias
2023-04-13 20:01:13 +02:00
90 changed files with 1819 additions and 313 deletions

View File

@@ -10,4 +10,3 @@ setuptools==65.5.1 # Should be removed when gym is fixed.
gym==0.21; python_version < '3.11'
# Progress bar for stable-baselines3 and sb3-contrib
tqdm==4.65.0; python_version < '3.11'
rich==13.3.3; python_version < '3.11'