Baby puked

Hello. My baby puked while I was feeding him. And his puke was hot. But he is not anywhere else. Is he okay? Our pedia is unfortunately not answering our calls