Zulip Chat Archive

Stream: combinatorial-games

Topic: Lean pages

Violeta Hernández (Jul 29 2025 at 03:30):

Not to pester you @Tristan Figueroa-Reid , but the pages CI seems to be failing again.
https://github.com/vihdzp/combinatorial-games/actions/runs/16582872617/job/46902472286

Violeta Hernández (Jul 29 2025 at 03:31):

Sorry I can't be more helpful in debugging, I don't really understand CI in general

Tristan Figueroa-Reid (Jul 29 2025 at 03:32):

All good! That probably had to do with the recent GitHub outage: https://www.githubstatus.com/history
Rerunning the CI again seems to have fixed it :+1:

Last updated: Dec 20 2025 at 21:32 UTC