ruff
Use named function in incremental red knot benchmark
#14033
Merged

Use named function in incremental red knot benchmark #14033

MichaReiser merged 1 commit into main from micha/red-knot-incremental
MichaReiser
MichaReiser MichaReiser added ty
MichaReiser Use named function in incremental red knot benchmark
c2958775
MichaReiser MichaReiser force pushed from 1ffd7927 to c2958775 1 year ago
MichaReiser MichaReiser enabled auto-merge (squash) 1 year ago
MichaReiser MichaReiser merged 48fa839c into main 1 year ago
MichaReiser MichaReiser deleted the micha/red-knot-incremental branch 1 year ago
github-actions

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
Milestone