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: Feb 05 2023 at 13:02 UTC