Closed djs55 closed 3 years ago
These were lost when the CI was fixed. Minor tweaks are required to update the scripts to support opam version 2.
opam
CircleCI is green and the artifacts are back!
These were lost when the CI was fixed. Minor tweaks are required to update the scripts to support
opam
version 2.