opam icon indicating copy to clipboard operation
opam copied to clipboard
verified publisher icon coq

Should the CI test Windows and MacOS?

Open JasonGross opened this issue 10 months ago • 0 comments

To avoid issues like #3335

JasonGross avatar Feb 06 '25 23:02 JasonGross