Set up email notifications

Introduction

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.

Quick guide

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.