Answer
If an employee works on a public holiday, pay the time worked at the required public holiday rate through the pay's ordinary hours, pay rates, or other pay items used by the employer.
If the public holiday was an otherwise working day, the employee may also receive an Alternative Holiday. Record that earned day from Employees >> Leave >> Leave Entitlement Adjustments >> Add Manual Adjustment as a positive Alternative Holiday day.
Do not use the Public Holiday leave type for the worked hours unless the employee is actually being paid for a public holiday not worked. Separate the worked-time payment from the Alternative Holiday ledger entry.