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

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