Where did the lucha libre shows in the Mission go?

For years, John O'Connell High was the home of lucha libre in the Mission District. But it hasn't hosted an event since 2023. Where did the lucha libre shows in the Mission go?