Closed reynir closed 1 year ago
The opam repository used is very outdated and consistently results in failures :( Removing it is not ideal, but the noise from the CI is quite annoying.
The opam repository used is very outdated and consistently results in failures :( Removing it is not ideal, but the noise from the CI is quite annoying.