fix(recordvideo): fix the bug of setting value of is_start;

[WinstonWmj]

Bug's fixing: Add 'is_start.setter' to class RecordVideo.

Description

Without this modification, the second round of rollout will get random reset_state_ids ( for every config: xxxx_grpo_xxxx )

since the setter doesn't wokr as expected:

# rlinf/envs/libero/libero_env.py
        if self.is_start:  # the self.is_start is always true without my modification...
            reset_state_ids = (
                self.reset_state_ids if self.use_fixed_reset_state_ids else None
            )
            self._is_start = False

Motivation and Context

someone in wechat group found this bug:

How has this been tested?

print and video log:

before fix:

after fix:

Additional information (optional, e.g., figures and logs):

Types of changes

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Documentation update (Document-only update)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)

Checklist:

• My code follows the code style of this project.
• My change requires a change to the documentation.
• I have updated the documentation accordingly.
• I have added tests to cover my changes.
• All new and existing tests passed.