PR #13026 Add basic red knot benchmark

Add basic red knot benchmark #13026

MichaReiser merged 4 commits into main from knot-mypy-pyright-benchmarks

MichaReiser commented on 2024-08-21

MichaReiser force pushed from 56943767 to 8da745bc 1 year ago

MichaReiser added ty

AlexWaygood commented on 2024-08-21

Add basic red knot benchmarks

35dc6f00

Add isort, checkout specific revision

28debb8d

AlexWaygood commented on 2024-08-22

MichaReiser force pushed from 8da745bc to 9ccaa8a0 1 year ago

AlexWaygood approved these changes on 2024-08-22

Address review comments

ee2e088e

MichaReiser force pushed from 9ccaa8a0 to ee2e088e 1 year ago

MichaReiser marked this pull request as ready for review 1 year ago

AlexWaygood commented on 2024-08-22

Update scripts/knot_benchmark/src/benchmark/projects.py

83fdf60b

MichaReiser merged 4f6accb5 into main 1 year ago

MichaReiser deleted the knot-mypy-pyright-benchmarks branch 1 year ago

hauntsaninja commented on 2024-08-23

Reviewers

AlexWaygood

hauntsaninja

Assignees

No one assigned

Labels

Milestone

No milestone