And civil service employees. They’ll be paid, too, as per the article.
It just mentions DoD, not the other agencies