Commit 2026-10-17 17:39 3d02143b
View on Github →chore: link bors's dashboard at bors.mathlib.org (#44805) This PR points the README's bors badge at bors's new address, https://bors.mathlib.org/repositories/16. It shows the same dashboard as the old address.