Code of Federal Regulations Title 5. Administrative Personnel § 5.532.507 Pay for holiday work

(a) An employee who is entitled to holiday premium pay and who performs work on a holiday which is not overtime work shall be paid the employee's rate of basic pay plus premium pay at a rate equal to the rate of basic pay.

(b) An employee shall be paid for overtime work performed on a holiday at the same rate as for overtime on other workdays.

(c) An employee who is entitled to holiday premium pay and who is required to report for work on a holiday shall be paid at least two hours of holiday pay whether or not work is actually performed.