Festività 1/11 lavorata badante sostitutiva

Buongiorno, ho una badante con contratto di sostituzione badante in riposo, il sabato e la domenica, retribuzione € 7,15 e nessuna maggiorazione domenicale.
La festività del 1 novembre cade di domenica e la badante ha lavorato normalmente. Le 8 ore lavorate sono soggette a maggiorazione?
Grazie.

L'art. 15 del CCNL, comma 9 prevede che le prestazioni lavorative di un lavoratore in sostituzione debbano essere retribuite sulla base della tabella G comprensiva delle maggiorazioni previste, questo a mio parere significa che bisogna solo riconoscere al suddetto la festività cadente di domenica, pari ad 1/26 in aggiunta alla retribuzione e non anche la maggiorazione per lavoro festivo.