AUSTIN, Texas - Texas has formally asked the federal government to pay back more than $10 billion used for the state's border security efforts.

What we know: Texas Gov. Greg Abbott said Wednesday he submitted the required documentation to the Department of Homeland Security to get the taxpayer money used to pay for Operation Lone Star reimbursed.

The operation, launched in 2021, used the National Guard and state troopers to do things such as build barriers, seize drugs and catch criminals.