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: Aug 03 2023 at 10:10 UTC