Skip to content

Docker-Coq CI

Docker-Coq CI #724

custom_image / docker-coq / opam / auto install depexts (rocq/rocq-prover:dev)

succeeded Feb 21, 2025 in 2m 35s