PR #7540 Use a single lint task in CI

Use a single lint task in CI #7540

konstin merged 3 commits into main from konsti/single-lint

Use a single lint task

3a65da1a

konstin added internal

zanieb commented on 2024-09-19

Use our own setup-uv action

39e8dcfa

zanieb approved these changes on 2024-09-19

Partial rollback

d1444225

konstin merged 4fdf5fc7 into main 1 year ago

konstin deleted the konsti/single-lint branch 1 year ago

Reviewers

zanieb

Assignees

No one assigned

Labels

internal

Milestone

No milestone