Update dist.ini for new workflow.