Add finalization-only cleanup gate for provisional scratch artifacts#314

mmprotest wants to merge 1 commit into

mainmmprotest/villani-code:mainfrom

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