• Pascal Roth's avatar
    Renames `RandomizationManager` to `EventManager` (#460) · 40e4591f
    Pascal Roth authored
    # Description
    
    Renames the `RandomizationManager` to `EventManager` for clarity as the
    manager takes care of all kind of events that go beyond pure
    randomization (such as resets).
    
    Fixes #413
    
    ## Type of change
    
    - Breaking change (fix or feature that would cause existing
    functionality to not work as expected)
    - This change requires a documentation update
    
    ## Checklist
    
    - [x] I have run the [`pre-commit` checks](https://pre-commit.com/) with
    `./orbit.sh --format`
    - [x] I have made corresponding changes to the documentation
    - [x] My changes generate no new warnings
    - [ ] I have added tests that prove my fix is effective or that my
    feature works
    - [x] I have run all the tests with `./orbit.sh --test` and they pass
    - [x] I have updated the changelog and the corresponding version in the
    extension's `config/extension.toml` file
    - [x] I have added my name to the `CONTRIBUTORS.md` or my name already
    exists there
    40e4591f
Name
Last commit
Last update
..
00_sim Loading commit data...
01_assets Loading commit data...
02_scene Loading commit data...
03_envs Loading commit data...
04_sensors Loading commit data...
05_controllers Loading commit data...