HF RL Explorer

@settings decorator is not typed, breaks mypy --strict

@settings decorator is not typed, breaks mypy --strict: a task in MiMo-V2.6-RL-oss: Agentic RL Environments (MiMo RL release). @settings decorator is not typed, breaks mypy --strict I'm trying to type-check my test suite under mypy --strict, and the @settings(...) decorator from Hypothesis causes…

The task

@settings decorator is not typed, breaks mypy --strict I'm trying to type-check my test suite under mypy --strict, and the @settings(...) decorator from Hypothesis causes errors on every test it's applied to. A minimal reproducer: Running mypy --strict test_example.py complains…

Part of XiaomiMiMo/MiMo-V2.6-RL-oss.