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.





leanprover-community/mathlib,leanprover-community/mathlib