Finalization-only cleanup gate for provisional shell scratch artifacts#315

mmprotest wants to merge 1 commit into

mainmmprotest/villani-code:mainfrom

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