Czy za pracę w święto należy wypłacić dodatek w wysokości 100% wynagrodzenia?

Pracownicy zatrudnieni w Służbie Zdrowia przyszli do pracy 12 listopada 2018 r. Zgodnie z wydanym Zarządzeniem za 12 listopada pracownicy odbierają dzień wolny 24 grudnia 2018 r. Natomiast pielęgniarki zatrudnione w równoważnym systemie pracy za 12 listopada mają płacone godziny swiąteczne 45 % oraz została im pomniejszona norma pracy.

Czy dla pozostałych pracowników nie pracujących w zmianach oprócz dnia wolnego należy się dodatkowe wynagrodzenie 100% za pracę w święto?