Robots construction time

[Dispatch]

When I build ships I pull my robots out of the mines but I do not see a difference in the build time of the ships is there an amount of time I need to wait to see the difference?

[The.Devils.Own]

Dude there is something wrong with this tactics

Ok, robots (no matter in mines or not) decrease the structures building time(mines, factories and etc.). The ship yard decreases the ships construction time.
And finally the Terteths Factory decreases both the Structures and Ships building time.

[Dispatch]

Thank you so much I was beginning to think I had to leave the robots out of the mines just to speed up ship construction.