Is May 1st a public holiday in Spain?

Is Labour Day a public holiday across Spain? And do any Spanish regions have an extra day off on May 2nd? Here's what you need to know about May 1st in Spain, including a bit of history.