Codex on the chatgpt mobile app gives notifications pings when the chat is done

Welcome to the community @tchirou! And thanks for sharing that! Hopefully that might even help others that share the same issue.