Zulip Chat Archive
Stream: mathlib4
Topic: bors batch info
Jireh Loreaux (Dec 15 2022 at 19:36):
When I click the batch number on https://app.bors.tech/repositories/37904/ I get "Page not found" (the URL it links to currently is: https://app.bors.tech/repositories/batches/275362).
Jireh Loreaux (Dec 15 2022 at 19:37):
okay, that batch finished already, but it's been happening to me with other batches as well.
Last updated: Dec 20 2023 at 11:08 UTC