Verify that the file(s) have been deleted after calling Delete, and retry if this is not the case. Furthermore, report the error if a Delete operation fails. Signed-off-by: Arthur Baars <arthur@semmle.com>
Description
No description provided
Languages
Go
97.8%
Shell
1.7%
Dockerfile
0.2%
Makefile
0.2%