マリで2024年の労働者の日

2024年の労働者の日はマリで公式の休日ですか？ マリで労働者の日は祝日。