Skip to content

Accept dev versions of coq, coq-compcert and coq-flocq in coq-vst.opam - #860

Closed
JasonGross wants to merge 3 commits into
PrincetonUniversity:masterfrom
JasonGross:master+rocq-dev
Closed

Accept dev versions of coq, coq-compcert and coq-flocq in coq-vst.opam#860
JasonGross wants to merge 3 commits into
PrincetonUniversity:masterfrom
JasonGross:master+rocq-dev

Raise the file descriptor soft limit when running coqdep

d0fe5b0
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs