mathlib3

3afb1fa1 - feat(ci): Add support for "notice"-level messages (#14443)

feat(ci): Add support for "notice"-level messages (#14443) It looks like support for this was added recently, it's now documented at the same link already in our source code.