When attempting to install idris2 on Arch Linux (using the idris2 package in AUR) test idris2/reflection/reflection024 fails. As can be seen in the log (lines 3741 and 3804), this happens because cat: src/nonExistentToRead: No such file or directory is expected to be in the output, but with a different locale cat can print the error in a different language, and the test fails. Rerunning the build with LC_ALL=C fixes the issue.
When attempting to install idris2 on Arch Linux (using the idris2 package in AUR) test
idris2/reflection/reflection024fails. As can be seen in the log (lines 3741 and 3804), this happens becausecat: src/nonExistentToRead: No such file or directoryis expected to be in the output, but with a different localecatcan print the error in a different language, and the test fails. Rerunning the build withLC_ALL=Cfixes the issue.idris2_install.log