סימן קלה סעיף י

לְעִנְיַן שֵׁנָה בַּסֻּכָּה, גַּם גְּשָׁמִים מֻעָטִין הֲוֵי צַעַר לִישֹׁן, וְיָכוֹל לָצֵאת. וְאִם יָצָא לְבֵיתוֹ וְשָׁכַב לִישֹׁן, וְאַחַר כָּךְ פָּסְקוּ הַגְּשָׁמִים, אוֹ שֶׁמִּתְּחִלָּהּ שָׁכַב בְּבֵיתוֹ לִישֹׁן מִפְּנֵי הַגְּשָׁמִים, וְאַחַר כָּךְ פָּסְקוּ, אֵין מַטְרִיחִין אוֹתוֹ לֵילֵךְ לַסֻּכָּה כָּל הַלַּיְלָה, אֶלָּא יָשֵׁן בְּבֵיתוֹ עַד הַבֹּקֶר.

As for sleeping in the sukkah, even a slight rain causes discomfort when you sleep, and you may leave [the sukkah when it rains]. If you left the sukkah to sleep in the house, and then it stopped raining; or if you initially went to sleep in the house because of the rain and then the rain stopped, you do not have to bother to go to the sukkah during the night,¹⁵You need not go into the sukkah to sleep even if you wake up during the night. (Ibid 639:32) but you may sleep in the house until morning.

תנא דבי אליהו כל השונה הלכות בכל יום מובטח לו שהוא בן העולם הבא שנאמר הליכות עולם לו אל תקרי הליכות אלא הלכות (נדה ע"ג.)