Historical Rules · 14 April 2023
Rule 117.1a
Official source text from the 14 April 2023 Rules release
A player may cast an instant spell any time they have priority. A player may cast a noninstant spell during their main phase any time they have priority and the stack is empty.