Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
refactor: suppress clang-tidy int-to-ptr warning
This warning is caused by casting data->threadpool from uintptr_t to mjThreadPool. Since the type of data->threadpool depends on mujoco, we can only suppress the warning and not fix it.
- Loading branch information