PR #647 adds email notification when CI fails on master branch.
However, some referred Github actions temporarily fails will also trigger email sending currently, and this may become spam for the mailing list. (ref) Therefore, we want to check whether CI is really broken instead of just failing temporarily with retry mechanism.
PR #647 adds email notification when CI fails on master branch.
However, some referred Github actions temporarily fails will also trigger email sending currently, and this may become spam for the mailing list. (ref) Therefore, we want to check whether CI is really broken instead of just failing temporarily with retry mechanism.