coqdep warnings default AsError#22253

SkySkimmer wants to merge 1 commit into

rocq-prover:masterrocq-prover/rocq:masterfrom

SkySkimmer:coqdep-warn-errorSkySkimmer/rocq:coqdep-warn-errorCopy head branch name to clipboard