Skip to content

Explicitly disable native compile

Gaëtan Gilbert requested to merge (removed):SkySkimmer-master-patch-11351 into master

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

Merge request reports