Make temporary cleanup nonfatal#370

kiwigitops wants to merge 1 commit into

janestreet:masterjanestreet/magic-trace:masterfrom

kiwigitops:make-temp-cleanup-nonfatalkiwigitops/magic-trace:make-temp-cleanup-nonfatalCopy head branch name to clipboard