Jason Gross (Aug 05 2023 at 06:39): Jason Gross (Aug 05 2023 at 06:39):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.
Jason Gross (Aug 05 2023 at 23:05):Ergh, and it's not even native_compute, it's coqnative
Last updated: Nov 29 2023 at 21:01 UTC