ruff
[red-knot] knot benchmark: fix `--knot-path` arg
#13923

Merged

[red-knot] knot benchmark: fix `--knot-path` arg #13923

sharkdp merged 1 commit into main from david/knot-benchmark-fix

[red-knot] knot benchmark: fix `--knot-path` arg

c6653b5c

sharkdp added internal

sharkdp added ty

sharkdp commented on 2024-10-25

sharkdp merged 085a43a2 into main 324 days ago

sharkdp deleted the david/knot-benchmark-fix branch 324 days ago

Reviewers

No reviews

Assignees

No one assigned

Labels

internal ty

Milestone

No milestone