Skip to content
Snippets Groups Projects

remove various casts. clean up type annotations. fix one small bug.

Passed
Frederik Hennig created pipeline for commit 7991adb6
, finished
8 minutes 11 seconds, queued for 3 seconds