Use `-native-compiler no` to make sure we do not rely on (bugs) in `native_compute`.

In std++ and Iris we do not use native_compute, so relying on it needlessly increases the trusted code base. Since recently an unsoundness bug in naive_compute was discovered (which was also fixed immediately), I wonder if it wouldn't make sense to just disable native_compute altogether in std++ and Iris.

No strong opinion, so fine for me, but please add a comment explaining why we pass this flag.

added 1 commit

• 38b9f596 - Add comment.

Compare with previous version

enabled an automatic merge when the pipeline for 38b9f596 succeeds

mentioned in merge request iris!865 (merged)

merged

mentioned in commit c25b43ed