The CI export workflow previously redirected `make` output to `build_output.txt`. This change removes the file redirection, allowing build output to flow directly to the job's standard output stream.
The CI export workflow previously redirected `make` output to `build_output.txt`. This change removes the file redirection, allowing build output to flow directly to the job's standard output stream.