A federal judge lifted a previous order pausing the program Wednesday. Soon afterward, the Office of Personnel Management announced the program was closed.

Around 75,000 workers have reportedly taken the offer so far. That represents about 3% of those who were offered the deal—a large job cut by any measure, but short of the White House’s reported goal of slashing between 5% and 10% of the federal workforce through buyouts.

Tens of thousands of U.S. civil servants were cleared to take a buyout from Donald Trump's administration on Wednesday after a federal judge ruled the unprecedented downsizing effort could proceed. About 75,