Budgets are set by Congress. The money is allocated and is supposed to be spent regardless of payroll.

It's very likely most of these reduced payroll costs will just be spent on outside contractors who cost much more per hour of work.