Skip to content

Workaround for correct scheduling with non default exit criteria#131

Merged
NiklasEi merged 1 commit intomainfrom fix_crash_with_non_default_exit_criteriaApr 14, 2023
+7-4

Commits