Merge 'origin/dev' into bugfix/episode-length-and-rewards

2023-12-03 14:49:34 +00:00
parent 3e3fd89618 f55e18c4c8
commit 105763971d
47 changed files with 1199 additions and 296 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -37,6 +37,7 @@ pip-log.txt
 pip-delete-this-directory.txt

 # Unit test / coverage reports
+junit/
 htmlcov/
 .tox/
 .nox/