Перенос праздничных дней

Здравствуйте, у работника пятидневка, но выходные в субботу и вторник. В 2025 году его выходной выпадает на праздничный день 4 ноября, скажите пожалуйста переноситься ли праздничный день в таком случае на 5 ноября?