Fix moveit_py Policy docs build
#6213
| Job | Run time |
|---|---|
| 1h 1m 6s | |
| 45m 41s | |
| 40m 58s | |
| 40m 25s | |
| 3h 8m 10s |
moveit_py Policy docs build
#6213
| Job | Run time |
|---|---|
| 1h 1m 6s | |
| 45m 41s | |
| 40m 58s | |
| 40m 25s | |
| 3h 8m 10s |