It seems that todo-test-add-and-delete-file is a flaky test. It passes most of the time but sometimes not. Example error log: