For the curious, here's the debt limit bill that passed the Republican-led House of Representatives at the end of April, HR 2811:

https://www.congress.gov/bill/118th-congress/house-bill/2811