Make goal IDs strings
The following discussion from !49 (merged) should be addressed:
@JonathanKuelz started a discussion:
hadn't we changed to str-only IDs recently? - should be propagated to the whole code-base including
- Timor
- Schema
- Doc
2025-01-08: Due to updates GitLab may be unavailable for some minutes between 13:00 and 15:00.
The following discussion from !49 (merged) should be addressed:
@JonathanKuelz started a discussion:
hadn't we changed to str-only IDs recently? - should be propagated to the whole code-base including
added statuspending typebug labels
assigned to @ang_li
added statusdoing label and removed statuspending label
assigned to @JonathanKuelz and unassigned @ang_li
marked the checklist item Timor as completed
marked the checklist item Schema as completed
@ga59peh do we actually have any places left where this is not the case? I didn't find any
E.g: https://gitlab.lrz.de/tum-cps/timor-python/-/blob/main/src/timor/task/Goals.py in the __init__
marked the checklist item Doc as completed
mentioned in merge request !98 (merged)
added statusdone label and removed statusdoing label
closed