New comment by tornaria on void-packages repository

https://github.com/void-linux/void-packages/pull/32559#issuecomment-902295295

Comment:
It seems the build tries to run `lean` itself (to compile some lean files?) meaning that it's not obvious how to cross-build. Unless there's another way, you should add `nocross=yes` to template (right after `checksum`).

I compiled the template in x86_64, x86_64-musl, and i686.

All 1414 tests pass, installs and works in x86_64. Same for -musl (tested in a chroot).

I had 1 test failure in i686:
```
[...]
99% tests passed, 1 tests failed out of 1414

Total Test time (real) = 391.49 sec

The following tests FAILED:
	1340 - leanittest_complete_trailing_period.lean (Failed)
Errors while running CTest
FAILED: CMakeFiles/test.util
[...]
```

@ericonr can you approve the workflow for this PR?