Czy pracownikowi przysługuje dzień wolny lub dodatek za pracę w święto

Firma ma miesięczny okres rozliczeniowy. Pracownicy w listopadzie mieli zaplanowany 10 listopada jako dzień wolny w związku ze świętem 1 listopada, które w tym roku przypadło w sobotę. Niestety kilku pracowników musiało być obecnych w pracy w dniach 10 i 11 listopada. Pracują w podstawowym systemie czasu pracy. Czy za pracę w te dni należało wyznaczyć inny dzień wolny od pracy?