Stream: coq-community devs & users

Topic: docker images for 8.15 (rc1)

Enrico Tassi (Dec 19 2021 at 17:10):

Are they available for CI?

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.

Karl Palmskog (Dec 19 2021 at 17:14):

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

Last updated: Jun 03 2023 at 17:29 UTC