He’s running, you can bank on it.
DeSantis can’t beat Trump in the primary now. It will be a short run if he tries. Dems want to run against Trump and they will make sure that happens.