Czy pracownikowi obsługi zatrudnionemu w systemie zmianowym za pracę w święto przysługuje dodatkowy dzień wolny?

Placówka oświatowa prowadzi kuchnię, pracownice pracują w systemie zmianowym w każdy dzień tygodnia. W listopadzie 2018 r. jedna z pracownic pracowała m.in. 01.11., 11.11 i 12.11. (także 03.11, 05.11, 06.11, 08.11, 09.11, 13.11, 15.11, 16.11, 17.11, 19.11, 20.11, 21.11, 23.11, 25.11,26.11, 28.11, 29.11) łącznie przepracowała 20 dni/160 godzin. Dni wolne 02.11, 04.11, 07.11, 10.11, 14.11, 18.11, 22.11, 24.11, 27.11, 30.11. Czy udzielenie łącznie 10 dni wolnych od pracy w pełni rekompensuje pracę w dni świąteczne? Czy należy udzielić dodatkowego dnia wolnego (lub zapłacić 100% dodatek)?