Mirror Lake Fountain

Non-native Cincinnatian here. Does the fountain at Mirror Lake still function? Was walking Eden Park today and it wasn’t on. From what I can find online, parks tend to turn water on in May. Wondering if anyone knows if/when it turns on, or if there’s something I’m missing. Thanks!