Code

test suite fix approve-output target#109

Code

Merged

SkySkimmer merged 1 commit intocoq:mastercoq/stdlib:masterfrom SkySkimmer:approve-outSkySkimmer/stdlib:approve-outCopy head branch name to clipboardFeb 13, 2025

Commits

Commits on Feb 13, 2025

• test suite fix approve-output target

  SkySkimmer

  committed
  7dd58fc

  Copy full SHA for 7dd58fc