Skip to content

Specify how to compile Iris without running the tests

Dan Frumin requested to merge dfrumin/iris-coq:master into master

Merge request reports