Skip to content
Docker-Coq CI

fix(CI): Use mathcomp/mathcomp-dev:rocq-prover-dev (#102) #712

Sign in to view logs

fix(CI): Use mathcomp/mathcomp-dev:rocq-prover-dev (#102)

fix(CI): Use mathcomp/mathcomp-dev:rocq-prover-dev (#102) #712

custom_image / docker-coq / make / custom_script (coqorg/coq:latest)

custom_image / docker-coq / make / custom_script (coqorg/coq:latest)
succeeded Feb 9, 2025 in 4m 49s