Fix CI tests
emilpriver opened this issue · comments
Currently do not our CI pipeline work due to that the CI is not able to install all the packages.
Solution: Opam should get the pin versions for the failing github links in the .opam files which could be a solution.