Are they available for CI?
the topic you're looking for is here. We are waiting for Erik to generate the Docker tags.
Also https://github.com/coq-community/docker-coq/issues/41
Last updated: Apr 19 2024 at 00:02 UTC