To clear up were the Gov funding bill is and Trumps wall money.

[jdog21]

https://www.congress.gov/bill/115th-congress/house-bill/695

Sec. 141. Notwithstanding any other provision of this Act, there is appropriated for ‘U.S. Customs and Border Protection—Procurement, Construction, and Improvements’ $5,710,357,000 for fiscal year 2019, to remain available until September 30, 2023

Just to make it clear since the house added the $5 billion for a wall then passed H.R.-695 which had already passed the senate but it didn't include the wall $$$. So they are in a process of resolving differences. The Senate ether has to pass it as is or they can make a change in the dollar amount and kick it back down to the house again to be voted on again.

Either way nothing has reached Trumps desk to sign or veto regarding the government shutdown.