Is there a good way to determine why the native compiler is sad in https://github.com/coq/coq/pull/17899/checks?check_run_id=15640216562 ? It works perfectly fine on my machine, so it's probably just not getting enough stack, but I'm not sure how to adjust the test suite file to fix this problem.
Ergh, and it's not even
native_compute, it's coqnative
Last updated: Nov 29 2023 at 21:01 UTC