Skip to content
Back to pull request #15124

Rename --current-directory to --project in Red Knot benchmark script #37841

Sign in to view logs

Rename --current-directory to --project in Red Knot benchmark script

Rename --current-directory to --project in Red Knot benchmark script #37841

benchmarks

benchmarks
succeeded Dec 23, 2024 in 5m 12s