Stream: coq-community devs & users

Topic: gaia CI


view this post on Zulip Karl Palmskog (Oct 21 2021 at 08:01):

@Laurent Théry OK if I merge this when it passes CI? https://github.com/coq-community/gaia/pull/5

view this post on Zulip Karl Palmskog (Oct 21 2021 at 08:02):

I thought we would try to match MathComp CI but using Docker


Last updated: May 19 2024 at 16:02 UTC