The core is available at github and should run fine on your SS1, afaik. Be aware it's an experimental core.
https://github.com/nand2mario/z486_MiSTer
There is also a recent fork by github user janisc which is developing a direct 31khz output.
--
Speaking to general : To be clear, none of these MiSTer cores include the Voodoo graphics portion discussed in the parent link.
I doubt that the degree of sheer hyper-optimisation required to get a Voodoo (plus the Pentium to make it meaningful!) into a DE10-Nano necessarily exists. Never-say-never, sure, but also, just-no - hahaha.
That work is for higher specced boards like the Xilinx discussed.