rems-project / cn-tutorial

8 stars 8 forks source link

Fix CI to use Cerberus deps #98

Closed thatplguy closed 2 weeks ago

thatplguy commented 2 weeks ago

CI broke because the build script pins specific versions of Cerberus dependencies, which Cerberus has since changed.

The solution is to use the Cerberus dependency requirements in its OPAM files when building CN in CI.