Dec 3, 2021 · A build is failed if Astrée can formally show the presence of a severe code defect in a (analysis) context. ... git repository (in this case SCM ...