New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Lint. #3168

Merged

jhale merged 1 commit into main from jhale/could-we-make-lints-mandatory-for-prs

Apr 24, 2024

Member

jhale commented Apr 24, 2024

No description provided.


          Lint.

c602374

jhale enabled auto-merge

April 24, 2024 08:31

jhale added this pull request to the merge queue

Merged via the queue into main with commit 412b846

23 checks passed

jhale deleted the jhale/could-we-make-lints-mandatory-for-prs branch

April 24, 2024 09:36

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet