I like the general idea, the miners are solid as enemies but defeat felt inevitable. Since your mana growth is fixed and each spell has a certain amount of damage it can inflict, the length of each run feels mostly like a function of new miner hp rate minus mana damage rate.