Conservative cleanup of provisional scratch files after successful verification#313

mmprotest wants to merge 1 commit into

mainmmprotest/villani-code:mainfrom

mmprotest/add-cleanup-gate-for-scratch-artifactsmmprotest/villani-code:mmprotest/add-cleanup-gate-for-scratch-artifactsCopy head branch name to clipboard