Zulip Chat Archive

Stream: batteries

Topic: Github CI Issues

François G. Dorais (Feb 02 2026 at 21:46):

There have been some issues running CI on Batteries today (2026-02-02). This may be a GitHub issue - https://www.githubstatus.com/ - the latest report says they are still investigating.

François G. Dorais (Feb 02 2026 at 21:47):

On Mathlib too: #mathlib4 > CI failure

François G. Dorais (Feb 03 2026 at 03:40):

This issue appears to be resolved. You may have to trigger a new CI run with a dummy commit.

Last updated: Feb 28 2026 at 14:05 UTC