ポルトガルで2025年のポルタレグレの日

2025年のポルタレグレの日はポルトガルで公式の休日ですか？ ポルトガルでポルタレグレの日は市の祝日。