Rust

mujoco type stubs #4717

Job	Run time
Build mkdocs	11s
Build (imagine, dev)	28s
Build (annotato)	9s
Build (imagine, release)	11s
Build (camera_matrix_extractor)	12s
Build (aliveness)	15s
Check with clippy	12s
Build (nao, dev)	23s
Build (depp)	10s
Build (breeze)	12s
Build (nao, release)	41s
Build (fanta)	17s
Build (replayer, dev)	15s
Build (hula)	13s
Build (pepsi)	23s
Check parameters	20s
Build (replayer, release)	28s
Build (twix)	29s
Build (webots, dev)	18s
Build (widget_gallery)	24s
Format	17s
Build (webots, release)	29s
Format TOML files	15s
Test	39s
	7m 51s

Provide feedback