Add a status badge to your project's README by copying and pasting the below markdown template and inserting into it your project name and corresponding GitHub account:
A badge status is computed based on the statuses of the tests that belong to the latest valid verification. A verification is valid if its result is complete, meaning that the verification has not been canceled nor it is queued/running.
There are 3 possible statuses:
All of the tests in the latest valid verification have the status "No undefined behavior".
At least one test in the latest valid verification does not have the status "No undefined behavior" so it should be fixed.
There is not valid verification for this project/branch.