Congressional leaders on Tuesday formally announced a deal to keep the rest of the government funded through the fiscal year, with the text of the legislation to be released “as soon as possible,” Speaker Mike Johnson said.

A GOP leadership aide told CNN on Monday night that congressional negotiators had reached an agreement on funding for the Department of Homeland Security. At a time when security at the southern border has become a central issue in the 2024 campaign, funding for the agency had become a major obstacle.