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

feat: remove star projection and use-site variance #597

Merged
merged 2 commits into from
Oct 1, 2023

docs: update the documentation

db0ae17
Select commit
Loading
Failed to load commit list.
Merged

feat: remove star projection and use-site variance #597

docs: update the documentation
db0ae17
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Oct 1, 2023 in 0s

100.00% (+0.00%) compared to b3d786c

View this Pull Request on Codecov

100.00% (+0.00%) compared to b3d786c

Details

Codecov Report

Merging #597 (db0ae17) into main (b3d786c) will not change coverage.
The diff coverage is n/a.

@@            Coverage Diff            @@
##              main      #597   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files           32        32           
  Lines         4289      4281    -8     
  Branches       641       639    -2     
=========================================
- Hits          4289      4281    -8     
Files Coverage Δ
src/language/formatting/safe-ds-formatter.ts 100.00% <ø> (ø)