Skip to content

Type hints for goal now make clear that it should be str, not int

Jonathan Külz requested to merge fix/goal_ids_are_strings into main

Last step to complete #20 (closed)

Merge request reports

LRZ Homepage | Datenschutz | Dokumentation und Betriebsbedingungen | Impressum