Stream: coq-community devs & users

Topic: docker images for 8.15 (rc1)


view this post on Zulip Enrico Tassi (Dec 19 2021 at 17:10):

Are they available for CI?

view this post on Zulip Karl Palmskog (Dec 19 2021 at 17:13):

the topic you're looking for is here. We are waiting for Erik to generate the Docker tags.

view this post on Zulip Karl Palmskog (Dec 19 2021 at 17:14):

Also https://github.com/coq-community/docker-coq/issues/41


Last updated: Feb 04 2023 at 02:03 UTC