The Office of Personnel Management on Wednesday released the requirements for agencies to report the use of official time by union employees, as the government’s HR agency continues implementation of President Trump’s controversial workforce executive orders.