fix: close #77 ignore error file for deployment script (#79)

The file being created, that should be ignored, is called builder_error_file.

20:23, 12 February 2023

96c0821b93b896d38bcc7725044728037ab64b1a

This commit has not been processed by the CI server