근로자의 날은 의무 공휴일이 아닌가요?

근로자의 날에 쉬는 회사들도 있고 안 쉬는 회사들도 있습니다. 근로자의 날은 휴일 여부를 회사의 선택으로 결정해도 문제가 없는 건가요?