Skip to content
Docker-Coq CI

feat: Use rocq/rocq-prover namespace if need be #699

Sign in to view logs

feat: Use rocq/rocq-prover namespace if need be

feat: Use rocq/rocq-prover namespace if need be #699

custom_image / docker-coq / opam / env (coqorg/coq:latest)

custom_image / docker-coq / opam / env (coqorg/coq:latest)
succeeded Feb 5, 2025 in 6m 8s