document our breaking-changes-notification system

4 jobs for master in 15 minutes and 35 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Build
passed build-coq.8.10.2 #70906
fp

00:08:26

passed build-coq.8.11.1 #70905
fp-timing

00:07:23

passed build-coq.8.11.dev #70904
fp

00:15:35

passed build-coq.8.9.1 #70907
fp

00:07:50