feat: type checking #723
Merged
feat: type checking #723
Codecov / codecov/project
succeeded
Nov 4, 2023 in 0s
100.00% (+0.00%) compared to daad5c4
View this Pull Request on Codecov
100.00% (+0.00%) compared to daad5c4
Details
Codecov Report
Merging #723 (67f3348) into main (daad5c4) will not change coverage.
The diff coverage is100.00%
.
@@ Coverage Diff @@
## main #723 +/- ##
==========================================
Coverage 100.00% 100.00%
==========================================
Files 73 73
Lines 10038 10264 +226
Branches 2183 2231 +48
==========================================
+ Hits 10038 10264 +226
Files | Coverage Δ | |
---|---|---|
...s-lang/src/language/typing/safe-ds-type-checker.ts | 100.00% <100.00%> (ø) |
|
...-lang/src/language/validation/safe-ds-validator.ts | 100.00% <100.00%> (ø) |
|
...ages/safe-ds-lang/src/language/validation/types.ts | 100.00% <100.00%> (ø) |
Loading