A federal judge has temporarily barred President Donald Trump’s administration from dramatically shrinking three agencies that fund libraries across the U.S., settle labor disputes with public sector workers, and support state business contracting programs.

The Trump administration plans to significantly shrink the workforce of the Central Intelligence Agency and other U.S. intelligence agencies, with the aim of cutting thousands of employees over several years,

The CIA plans to cut 1,200 employees, along with thousands more from other parts of the U.S. intelligence community.