Adapt to non-transitively-recursive `#[native_compile=no]` #284

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
8.17	2h 0m 51s
master	27m 26s
master (for Coq CI, native)	2m 25s
master (native)	14m 32s
Update tested	17s
check-all	1s
	2h 45m 32s