בַּיּ֥וֹם הָרִאשׁ֖וֹן מִקְרָא־קֹ֑דֶשׁ כָּל־מְלֶ֥אכֶת עֲבֹדָ֖ה לֹ֥א תַעֲשֽׂוּ׃
第一日要有聖會；任何勞役的工作你們都不可做。
Mishneh Torah, Positive Mitzvot
To rest on the first day of the Feast of Tabernacles, as it is said, “On the first day there shall be a holy convocation; (ye shall do no servile work therein)” (Lev. 23:35).
Sefer HaChinukh
The commandment of resting on the first day of the holiday of Sukkot: To rest from any work which is not for the needs of food for the soul on the first day of the holiday of Sukkot, as it is stated (Leviticus 23:35), “On the first day, a holy occasion.”
Mishneh Torah, Negative Mitzvot
Not to do work on the first day of the Feast (of Tabernacles), as it is said concerning it, “Ye shall do no servile work” (ibid. 23:35).