Jak rozliczyć czas pracy w listopadzie, gdy pracownik świadczył pracę w nocy 11 listopada?

Regulamin pracy zakłada, że dobowa norma czasu pracy dla pracownika wynosi 8 godzin w równoważnym czasie pracy, a dni wolne od pracy są określone w harmonogramie czasu pracy. Zgodnie z angażem pracownik otrzymuje pełną płacę miesięczną zasadniczą + miesięczną premię + dodatek za godziny nocne.

W listopadzie 2017 r. pracownik świadczył pracę na III zmianie od 22:00 do 06:00 w dniach:

- 2, 3, 7, 8, 9, 10, 11, 12, 15, 16, 17, 21, 22, 23, 24, 25, 26, 28, 29, 30.

Jego dni wolne od pracy to:

- 01.11.2017 r. – święto; 04.11.2017 r. – sobota; 05.11.2017 r. – niedziela; 06.11.2017 r. – dodatkowy dzień wolny za 11.11.2017 r.; 13.11.2016 r. – wolne z tytułu pięciodniowego tygodnia pracy; 14.11.2017 r. – wolne za niedzielę; 18.11.2017 r. – sobota; 19.11.2017 r. – niedziela 20.11.2017 r. – wolne z tytułu pięciodniowego tygodnia pracy; 27.11.2017 r. – wolne za niedzielę.

Podsumowując, w listopadzie 2017 r. pracownik przepracował 20 dni, tj.160 godzin nominalnych, w tym 160 godzin nocnych.

Czy pracownik został prawidłowo rozliczony za czas swojej pracy w tym miesiącu pracując w święto 11 listopada?