Czy odchodzący z pracy pracownik musi odpracować majowe święto

Sobotę 15 lipca br. wyznaczyliśmy pracownikom do odpracowania za jedno ze świąt majowych. W zakładzie obowiązuje 3-miesięczny okres rozliczeniowy od 1 maja do 31 lipca br. Pracownicy świadczą pracę od poniedziałku do piątku po 8 godzin. Jeden z pracowników wypowiedział nam umowę za 2-tygodniowym okresem wypowiedzenia, którego termin upłynie 8 lipca br. Czy pracownik powinien odpracować ten dzień? Co będzie w przypadku, gdy go nie odpracuje?