Add wall_time_limit parameter to add_command().#150

jendrikseipp merged 1 commit intomainaibasel/lab:mainfrom

wall-time-limitaibasel/lab:wall-time-limitCopy head branch name to clipboard