по традиции и в большинстве компаний (во всех где я раньше работал — 5 штук) это нерабочий день, но де-юре по закону любая компания имеет право выбирать какой день делать рабочим, а какой — нет, это относится всех праздников (кроме дня короля и возможно 25 декабря — и то не уверен)