Rotation speed?

I don’t see an option to set the speed of the carousel, and I’m not even sure it auto-rotates. Is this manual only/how can I set the speed at which images rotate?

Thanks.

https://www.ads-software.com/extend/plugins/carousel-without-jetpack/