dev/ci/docker/edge_ubuntu · coq · Tangled

forked from coq/coq

coq dev ci docker edge_ubuntu

1 file

Gaëtan Gilbert · CI install ppx_blob in edge docker (for vsrocq) · 1mo ago

CI install ppx_blob in edge docker (for vsrocq)