Avoid error: wrong number of arguments, should be 2 in Windows opam CI #910
Annotations
1 error
Run opam pin --kind=version add coq 8.18.0
Process completed with exit code 1.
|
Loading