The file being created, that should be ignored, is called builder_error_file.
20:23, 12 February 2023
This commit has not been processed by the CI server