Caches builds as part of ci. In my testing, this reduced Windows build times to being similar to Ubuntu when there are no dependency changes (this includes WPIWebSockets). (In the case where there are, the cache is not used.) MacOS builds remained about the same because the bottleneck is still the long Webots start times. Ubuntu remained about the same.
Caches builds as part of ci. In my testing, this reduced Windows build times to being similar to Ubuntu when there are no dependency changes (this includes
WPIWebSockets). (In the case where there are, the cache is not used.) MacOS builds remained about the same because the bottleneck is still the long Webots start times. Ubuntu remained about the same.