The Senate just voted to fund the government — but it'll still partially shut down for a few days anyway
