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: apply update-ts-configs #3987

Merged
merged 1 commit into from
Jul 13, 2023

Conversation

legendecas
Copy link
Member

Which problem is this PR solving?

Retrospectively update tsconfig dependencies with scripts/update-ts-config.js.

Refs: #3969

Type of change

  • Internal house-keeping.

Checklist:

  • Followed the style guidelines of this project

@legendecas legendecas requested a review from a team July 13, 2023 06:20
@codecov
Copy link

codecov bot commented Jul 13, 2023

Codecov Report

Merging #3987 (3d21cd4) into main (013695d) will decrease coverage by 0.02%.
The diff coverage is n/a.

❗ Current head 3d21cd4 differs from pull request most recent head 7e88d34. Consider uploading reports for the commit 7e88d34 to get more accurate results

Additional details and impacted files
@@            Coverage Diff             @@
##             main    #3987      +/-   ##
==========================================
- Coverage   92.31%   92.30%   -0.02%     
==========================================
  Files         321      321              
  Lines        9189     9189              
  Branches     1953     1953              
==========================================
- Hits         8483     8482       -1     
- Misses        706      707       +1     

see 1 file with indirect coverage changes

Copy link
Member

@pichlermarc pichlermarc left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hmm, I thought that I explicitly checked that while reviewing that PR 🤦
Thanks for updating it. 🙂

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants