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: port remaining validation infos that don't need partial evaluation #607

Merged
merged 4 commits into from
Oct 6, 2023

style: apply automated linter fixes

ff57b4f
Select commit
Loading
Failed to load commit list.
Merged

feat: port remaining validation infos that don't need partial evaluation #607

style: apply automated linter fixes
ff57b4f
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Oct 6, 2023 in 1s

100.00% (+0.00%) compared to 4fd8d86

View this Pull Request on Codecov

100.00% (+0.00%) compared to 4fd8d86

Details

Codecov Report

Merging #607 (ff57b4f) into main (4fd8d86) will not change coverage.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##              main      #607    +/-   ##
==========================================
  Coverage   100.00%   100.00%            
==========================================
  Files           34        34            
  Lines         4959      5074   +115     
  Branches       889       916    +27     
==========================================
+ Hits          4959      5074   +115     
Files Coverage Δ
src/language/helpers/nodeProperties.ts 100.00% <100.00%> (ø)
src/language/validation/safe-ds-validator.ts 100.00% <100.00%> (ø)
src/language/validation/style.ts 100.00% <100.00%> (ø)