Hello, I represent a research group investigating build failures in
Dockerfiles. We executed a Dockerfile in your project and found that
it is not building. We are sending this Pull Request with a suggested
repair. The repair operation is based on the following URL:
Coverage remained the same at 80.142% when pulling 1fcf19bc3cdb6d4142317fccb7574c8986a4a736 on fixdocker:master into 99bf10c4861279ade15f2d19e31810cf16972da3 on holderdeord:master.
Hello, I represent a research group investigating build failures in Dockerfiles. We executed a Dockerfile in your project and found that it is not building. We are sending this Pull Request with a suggested repair. The repair operation is based on the following URL:
Please note that we are using an anonymous GitHub account because of double-blind restrictions in the submission process of conferences.