Use OPAM2 on CI - Githubissues

gfngfn / satysfi-external-repo

Custom OPAM repository for external libraries of SATySFi

4 stars 4 forks source link

Closed nekketsuuu closed 5 years ago

nekketsuuu commented 5 years ago

Currently CI testing fails because it uses OPAM1 and default OPAM repository is written in OPAM2 format now.

So this PR changes CI to use OPAM2. Additionally, this updates packages to test.