Skip to content

the Coq CI image now contains git

Ralf Jung requested to merge ci-coq-git into master

I added git to the Coq CI image, only to then notice it seems you already did that. If adding git is the only difference in the coq-git image, we can get rid of that image.

Cc @janno

Merge request reports