Apakah Hari Pendidikan Nasional 2 Mei Libur?

Jika peringatan Hari Buruh 1 Mei ditetapkan sebagai hari libur nasional, apakah Hari Pendidikan Nasional 2 Mei juga libur?