Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

chore(weave): pyright: enable reportRedeclaration #2879

Merged
merged 14 commits into from
Nov 5, 2024

Conversation

andrewtruong
Copy link
Collaborator

  • test
  • test
  • test
  • test
  • test
  • test
  • test
  • test
  • test
  • test
  • test
  • test

@andrewtruong andrewtruong changed the base branch from master to andrew/pyright11 November 5, 2024 15:13
@circle-job-mirror
Copy link

circle-job-mirror bot commented Nov 5, 2024

@andrewtruong andrewtruong marked this pull request as ready for review November 5, 2024 15:25
@andrewtruong andrewtruong requested a review from a team as a code owner November 5, 2024 15:25
Base automatically changed from andrew/pyright11 to master November 5, 2024 20:58
@andrewtruong andrewtruong enabled auto-merge (squash) November 5, 2024 20:58
@andrewtruong andrewtruong merged commit 69b2e1b into master Nov 5, 2024
115 checks passed
@andrewtruong andrewtruong deleted the andrew/pyright12 branch November 5, 2024 21:06
@github-actions github-actions bot locked and limited conversation to collaborators Nov 5, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants