ポルトガルで2025年のレイリアの日

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