Add support for non-string options when scheduling tasks. (!82) · Merge requests · Platform / Development / swh-scheduler

This also fixes the pretty-printing of tasks, which was ambiguous (42 and "42" where both printed as 42).

Needed to scheduling indexer tasks (which take a boolean argument parse_ids).

Migrated from D1195 (view on Phabricator)

Add support for non-string options when scheduling tasks.