the workflow server used at TGI