Czy pracownik, którego umowa rozwiązuje się z końcem maja, ma prawo do dnia wolnego za 1 maja, jeśli pracodawca dzień wolny wyznaczył w czerwcu?

W spółce obowiązuje 3-miesięczny okres rozliczeniowy (kwiecień-czerwiec). Pracownik rozwiązuje z nami umowę 31.05.2021 r. W kwietniu ma urlop wypoczynkowy, w maju przez część miesiąca ma urlop wypoczynkowy, a przez drugą część jest zwolniony ze świadczenia pracy z prawem do wynagrodzenia. Spółka dla wszystkich pracowników ustaliła dzień wolny (4.06.2021) w zamian na święto w sobotę (1.05.2021).

Czy spółka powinna wypłacić temu konkretnemu pracownikowi nadgodziny za 1 dzień?

Czy może mu wyznaczyć w maju dzień wolnego?

Czy w związku z tym, że jest zwolniony ze świadczenia pracy, to dostaje normalne wynagrodzenia zasadnicze i nic dodatkowego mu się nie należy?