Zulip Chat Archive
Stream: mathlib4
Topic: Post-CI job Failing on a PR
Xavier Xarles (Jan 09 2024 at 19:21):
The PR #9531 gives an error, I am not sure why. It is, as the topic say, in the continuous integration / Post-CI job (push).
Matthew Ballard (Jan 09 2024 at 19:24):
Re-ran it and its green now
Last updated: May 02 2025 at 03:31 UTC