Czy pracodawca musi oddawać 8-godzinny dzień wolny za święto w sobotę?

W zakładzie pracy obowiązuje 3-miesięczny okres rozliczeniowy. Pracownik samorządowy pracuje w poniedziałki w godzinach od 8:00 do 17:00 (9 godzin), we wtorki od 7:00 do 15:00 (8 godzin) i w piątki od 7:00 do 14:00 (7 godzin).

Czy pracownik może wziąć wolne za dzień 11 listopada 2017 r. przypadający w sobotę w dowolny piątek w 3-miesięcznym okresie rozliczeniowym, kiedy świadczy pracę po 7 godzin?

Czy powinien być to dzień, w którym pracownik pracuje 8 godzin?