chore(dev): update type check

[jeertmans]

No description provided.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 85.90%. Comparing base (5fe4e0c) to head (5c53a90).
Report is 1 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #189   +/-   ##
=======================================
  Coverage   85.90%   85.90%           
=======================================
  Files          27       27           
  Lines        2072     2072           
=======================================
  Hits         1780     1780           
  Misses        292      292           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[codspeed-hq]

CodSpeed Performance Report

Merging #189 will degrade performances by 99.64%

_{Comparing typed (5c53a90) with main (5fe4e0c)}

Summary

❌ 2 regressions
✅ 14 untouched benchmarks

⚠️ Please fix the performance issues or acknowledge them on CodSpeed.

Benchmarks breakdown

	Benchmark	main	typed	Change
❌	test_compute_paths_in_simple_street_canyon_scene[True-20000-0]	5.5 ms	952 ms	-99.43%
❌	test_compute_paths_in_simple_street_canyon_scene[True-20000-1]	6.4 ms	1,782.9 ms	-99.64%