Rename --current-directory to --project in Red Knot benchmark script#15124
Merged
MichaReiser merged 1 commit intomainfrom micha/fix-knot-benchmarkDec 23, 2024
+1-1
--current-directory to --project in Red Knot benchmark script#15124