To stay up to date with the latest verification status of a given project, you can opt in to receive email notifications every time a verification is done or fails.
1. Go to the User settings page:
2. Optionally select an organization (see below).
3. Select the notification trigger for your project:
A verification is considered as "failing" if one test at least does not have the status No undefined behavior.