Skip to content

Explicitly disable native compile

Otherwise coq fails when compiled with native on because iris is compiled with native off

Merge request reports