Skip to content

install CI and update build system

Ralf Jung requested to merge ci/ralf/ci into master

For now I did not change the README to refer to opam. If you want, I can do that.

In the future, when you change the Iris version you depend on, you need to update the opam file accordingly to make CI happy. On the plus side, this means make build-dep will work as well :D

Merge request reports