Zulip Chat Archive
Stream: general
Topic: docker build failing
Eric Rodriguez (Jul 19 2021 at 14:35):
not sure again whether it's too relevant/transient issue, but there's a new docker image that keeps failing CI (github won't let me see much text >:| but I think it's the Debian one) on the main mathlib.
Bryan Gin-ge Chen (Jul 19 2021 at 15:22):
cc: @Scott Morrison
Bryan Gin-ge Chen (Jul 20 2021 at 02:14):
This is still affecting the latest commit of master.
Scott Morrison (Jul 20 2021 at 03:34):
Last updated: Dec 20 2023 at 11:08 UTC