Federal government declares may 1st public holiday
I'm not aware of any federal government declaring May 1st as a public holiday. May 1st is actually International Workers' Day, also known as Labor Day, and it is celebrated in many countries around the world. However, it is not a federal holiday in the United States or most other countries.
In the United States, Labor Day is celebrated on the first Monday in September, not May 1st. This holiday was created to honor the American labor movement and the contributions that workers have made to the country's prosperity.
It's possible that you may be thinking of a specific country or region that has declared May 1st as a public holiday, but I'm not aware of any federal government making such a declaration. If you could provide more context or clarify which country or region you are referring to, I may be able to help you better.