We had a Mac Mini for our office that was probably around that model (2012 i5) and it was so dog slow everybody including me thought there was something wrong with it. I even tried wiping it and reinstalling the OS.
The M1 Mac Minis on the other hand, are fine. (They can do Xcode builds multiple times faster than my “trash can” Mac Pro).
I’d say the model you are looking at is a little light on RAM; I would try to get 16GB and as Allison says a little bigger internal disk would be nice; if you can’t afford that, then even the model you are looking at is going to be a big improvement on the Mac Mini you are using now.