Switch CI to opam 2 (fix #217). (!47) · Merge requests · Why3 / why3

Raphaël Rieu-Helft requested to merge ci-opam2 into master Oct 23, 2018

This currently does not work, as installation of Coq 8.8 (in job full-4.07.0) fails for reasons that are not clear to me.

Edited Oct 26, 2018 by Raphaël Rieu-Helft

Switch CI to opam 2 (fix #217).