ポルトガルで2025年の諸聖人の日

2025年の諸聖人の日はポルトガルで公式の休日ですか？ ポルトガルで諸聖人の日は祝日。