It took a lot of technology work to keep the government operating remotely through the pandemic. But what about the finances of it all?